Details:
Title  Rewrite Systems for Natural, Integral, and Rational Arithmetic  Author(s)  Evelyne Contejean, Claude Marche, Landy Rabehasaina  Type  Article in Conference Proceedings  Abstract  We give algebraic presentations of the sets of natural numbers,
integers, and rational numbers by convergent rewrite systems which
moreover allow efficient computations of arithmetical expressions. We
then use such systems in the general normalised completion algorithm,
in order to compute Gröbner bases of polynomial ideals over Q.  Length  15 
File 
 Language  English  Pages  98112  Year  1997  Edition  0  Translation 
No  Refereed 
No 
