Subtropical Real Root Finding

Thomas Sturm 1, 2
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Communication dans un congrès
Proceedings of the 2015 International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom
Liste complète des métadonnées

https://hal.inria.fr/hal-01239489
Contributeur : Thomas Sturm <>
Soumis le : lundi 7 décembre 2015 - 18:53:53
Dernière modification le : mardi 19 février 2019 - 15:40:03

Identifiants

  • HAL Id : hal-01239489, version 1

Collections

Citation

Thomas Sturm. Subtropical Real Root Finding. Proceedings of the 2015 International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. 〈hal-01239489〉

Partager

Métriques

Consultations de la notice

208