| 2004 |
|---|
| 7 | EE | Thérèse Hardin,
Renaud Rioboo:
Les objets des mathématiques.
L'OBJET 10(4): 83-118 (2004) |
| 2003 |
|---|
| 6 | EE | Renaud Rioboo:
Towards faster real algebraic numbers.
J. Symb. Comput. 36(3-4): 513-533 (2003) |
| 2002 |
|---|
| 5 | EE | Renaud Rioboo:
Towards faster real algebraic numbers.
ISSAC 2002: 221-228 |
| 1999 |
|---|
| 4 | EE | Sylvain 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 |
|---|
| 2 | EE | Renaud 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) |
