Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata

https://hal.inria.fr/hal-01239489
Contributor : Thomas Sturm Connect in order to contact the contributor
Submitted on : Monday, December 7, 2015 - 6:53:53 PM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM

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

263