Subtropical Real Root Finding
From MaRDI portal
Publication:2819779
DOI10.1145/2755996.2756677zbMath1345.68296arXiv1501.04836OpenAlexW1982469375MaRDI QIDQ2819779
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
This page was built for publication: Subtropical Real Root Finding