Claire Moreau-Finot

2001
1	EE	Sylvie Boldo, Marc Daumas, Claire Moreau-Finot, Laurent Théry: Computer validated proofs of a toolset for adaptable arithmetic CoRR cs.MS/0107025: (2001)

Coauthor Index

1	Sylvie Boldo	[1]
2	Marc Daumas	[1]
3	Laurent Théry	[1]