Skip to Main content
Number of documents

1

CV of Sylvie Boldo


Auto-magically brought to you by HAL.


Laurent Théry   

Preprints, Working Papers, ...1 document

  • Sylvie Boldo, Marc Daumas, Claire Moreau-Finot, Laurent Thery. Computer validated proofs of a toolset for adaptable arithmetic. 2001. ⟨hal-00018530⟩