
Search the dblp DataBase
Renaud Rioboo:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Marc Moreno Maza, Renaud Rioboo
Polynomial Gcd Computations over Towers of Algebraic Extensions. [Citation Graph (0, 0)][DBLP] AAECC, 1995, pp:365382 [Conf]
 Renaud Rioboo
Towards faster real algebraic numbers. [Citation Graph (0, 0)][DBLP] ISSAC, 2002, pp:221228 [Conf]
 Renaud Rioboo
Real Algebraic Closure of an Ordered Field: Implementation in Axiom. [Citation Graph (0, 0)][DBLP] ISSAC, 1992, pp:206215 [Conf]
 Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie MénissierMorain, 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]
 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:113115 [Journal]
 Renaud Rioboo
Towards faster real algebraic numbers. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2003, v:36, n:34, pp:513533 [Journal]
Les objets des mathématiques. [Citation Graph (, )][DBLP]
Invariants for the FoCaL language. [Citation Graph (, )][DBLP]
Search in 0.018secs, Finished in 0.019secs
