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
Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-01239489
Contributor : Thomas Sturm <>
Submitted on : Monday, December 7, 2015 - 6:53:53 PM
Last modification on : Tuesday, February 19, 2019 - 3:40:03 PM

Identifiers

  • 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, ACM, Jul 2015, Bath, United Kingdom. ⟨hal-01239489⟩

Share

Metrics

Record views

214