dblp.uni-trier.dewww.uni-trier.de

Renaud Rioboo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
7EEThérèse Hardin, Renaud Rioboo: Les objets des mathématiques. L'OBJET 10(4): 83-118 (2004)
2003
6EERenaud Rioboo: Towards faster real algebraic numbers. J. Symb. Comput. 36(3-4): 513-533 (2003)
2002
5EERenaud Rioboo: Towards faster real algebraic numbers. ISSAC 2002: 221-228
1999
4EESylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo: On the way to certify Computer Algebra Systems. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
1995
3 Marc Moreno Maza, Renaud Rioboo: Polynomial Gcd Computations over Towers of Algebraic Extensions. AAECC 1995: 365-382
1992
2EERenaud Rioboo: Real Algebraic Closure of an Ordered Field: Implementation in Axiom. ISSAC 1992: 206-215
1990
1 Daniel Lazard, Renaud Rioboo: Integration of Rational Functions: Rational Computation of the Logarithmic Part. J. Symb. Comput. 9(2): 113-115 (1990)

Coauthor Index

1Sylvain Boulmé [4]
2Thérèse Hardin [4] [7]
3Daniel Hirschkoff [4]
4Daniel Lazard [1]
5Marc Moreno Maza [3]
6Valérie Ménissier-Morain [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)