RealSolving
Résumé
Documentation du logiciel RealSolving
Autre Publication Scientifique
Année : 1998
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098569
Soumis le : lundi 25 septembre 2006-17:03:36
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : inria-00098569 , version 1
Citer
Fabrice Rouillier. RealSolving. 1998. ⟨inria-00098569⟩
Collections
127
Consultations
0
Téléchargements