Subtropical Real Root Finding

Thomas Sturm 1, 2
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
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 : 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

235