Subtropical Real Root Finding

DOI10.1145/2755996.2756677zbMath1345.68296arXiv1501.04836OpenAlexW1982469375MaRDI QIDQ2819779

Thomas Sturm

Publication date: 29 September 2016

Published in: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1501.04836

zbMATH Keywords

linear programmingreal rootlarge polynomial

Mathematics Subject Classification ID

Related Items (2)

raSAT: an SMT solver for polynomial constraints ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications

Uses Software

• REDUCE
• Gurobi

This page was built for publication: Subtropical Real Root Finding