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