papers
Publications (8)
cs.LO2017
Subtropical Satisfiability
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm +1
cs.LO2016
Deciding First-Order Satisfiability when Universal and Existential Variables are Separated
Thomas Sturm, Marco Voigt, Christoph Weidenbach
cs.SC2018
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities
Hoon Hong, Thomas Sturm
cs.SC2015
Better Answers to Real Questions
Marek Kosta, Thomas Sturm, Andreas Dolzmann
cs.SC2017
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
Matthew England, Hassan Errami, Dima Grigoriev +3
cs.SC2015
Subtropical Real Root Finding
Thomas Sturm
cs.SC2017
A Case Study on the Parametric Occurrence of Multiple Steady States
Russell Bradford, James H. Davenport, Matthew England +8
cs.SC2015
A Generalized Framework for Virtual Substitution
Marek Kosta, Thomas Sturm