Search the dblp DataBase

Publications of Author

1. Marc Moreno Maza, Renaud Rioboo
   Polynomial Gcd Computations over Towers of Algebraic Extensions. [Citation Graph (0, 0)][DBLP]
   AAECC, 1995, pp:365-382 [Conf]
   
2. Renaud Rioboo
   Towards faster real algebraic numbers. [Citation Graph (0, 0)][DBLP]
   ISSAC, 2002, pp:221-228 [Conf]
   
3. Renaud Rioboo
   Real Algebraic Closure of an Ordered Field: Implementation in Axiom. [Citation Graph (0, 0)][DBLP]
   ISSAC, 1992, pp:206-215 [Conf]
   
4. Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo
   On the way to certify Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
   
5. Daniel Lazard, Renaud Rioboo
   Integration of Rational Functions: Rational Computation of the Logarithmic Part. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1990, v:9, n:2, pp:113-115 [Journal]
   
6. Renaud Rioboo
   Towards faster real algebraic numbers. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2003, v:36, n:3-4, pp:513-533 [Journal]
   
7. 
   Les objets des mathématiques. [Citation Graph (, )][DBLP]
   
   
8. 
   Invariants for the FoCaL language. [Citation Graph (, )][DBLP]