Solving semi-algebraic systems with the RegularChains library in Maple

Résumé : no abstract
Type de document :
Communication dans un congrès
Stefan Raschau. Mathematical Aspects of Computer Science and Information Sciences, 2011, Beijing, China. pp.38--51, 2011
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00825013
Contributeur : François Lemaire <>
Soumis le : mercredi 22 mai 2013 - 17:09:08
Dernière modification le : jeudi 10 septembre 2015 - 18:13:42

Identifiants

  • HAL Id : hal-00825013, version 1

Collections

Citation

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. Stefan Raschau. Mathematical Aspects of Computer Science and Information Sciences, 2011, Beijing, China. pp.38--51, 2011. <hal-00825013>

Partager

Métriques

Consultations de la notice

154