Renaud Rioboo

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

Coauthor Index

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

Colors in the list of coauthors