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 metadatas

https://hal.inria.fr/hal-01239489
Contributor : Thomas Sturm <>
Submitted on : Monday, December 7, 2015 - 6:53:53 PM
Last modification on : Saturday, November 21, 2020 - 11:40:06 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

254