Solving semi-algebraic systems with the RegularChains library in Maple
Résumé
no abstract
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