Solving semi-algebraic systems with the RegularChains library in Maple
Résumé
no abstract
Communication Dans Un Congrès
Année : 2011
François Lemaire : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00825013
Soumis le : mercredi 22 mai 2013-17:09:08
Dernière modification le : vendredi 24 mars 2023-14:52:57
Dates et versions
Identifiants
- HAL Id : hal-00825013 , version 1
Citer
François Lemaire, Changbo Chen, James H. Davenport, Marc Moreno Maza, Nalina Phisanbut, et al.. Solving semi-algebraic systems with the RegularChains library in Maple. Mathematical Aspects of Computer Science and Information Sciences, 2011, Beijing, China. pp.38--51. ⟨hal-00825013⟩
Collections
108
Consultations
0
Téléchargements