All Stories

  1. First-Order Tests for Toricity

    Article • January 2020, Springer Science + Business Media

    Thomas Sturm

  2. Positive Solutions of Systems of Signed Parametric Polynomial Inequalities

    Article • January 2018, Springer Science + Business Media

    Thomas Sturm

  3. A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications

    Article • Mathematics in Computer Science, April 2017, Springer Science + Business Media

    Thomas Sturm

  4. Satisfiability checking and symbolic computation

    Article • ACM Communications in Computer Algebra, February 2017, ACM (Association for Computing Machinery)

    Thomas Sturm

  5. Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks

    Article • January 2017, Springer Science + Business Media

    Prof. Dr. Andreas G. Weber, Thomas Sturm

  6. Subtropical Satisfiability

    Article • January 2017, Springer Science + Business Media

    Thomas Sturm

  7. Deciding First-Order Satisfiability when Universal and Existential Variables are Separated

    Article • July 2016, ACM (Association for Computing Machinery)

    Thomas Sturm

  8. Better answers to real questions

    Article • Journal of Symbolic Computation, May 2016, Elsevier

    Thomas Sturm

  9. $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation

    Article • January 2016, Springer Science + Business Media

    Thomas Sturm

  10. Foreword to the Special Focus on Constraints and Combinations

    Article • Mathematics in Computer Science, September 2015, Springer Science + Business Media

    Thomas Sturm

  11. Subtropical Real Root Finding

    Article • June 2015, ACM (Association for Computing Machinery)

    Thomas Sturm

  12. Detection of Hopf bifurcations in chemical reaction networks using convex coordinates

    Article • Journal of Computational Physics, June 2015, Elsevier

    Prof. Dr. Andreas G. Weber, Thomas Sturm

  13. Linear Integer Arithmetic Revisited

    Article • January 2015, Springer Science + Business Media

    Thomas Sturm

  14. Towards Conflict-Driven Learning for Virtual Substitution

    Article • January 2014, Springer Science + Business Media

    Thomas Sturm

  15. Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates

    Article • January 2013, Springer Science + Business Media

    Prof. Dr. Andreas G. Weber, Thomas Sturm

  16. Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages

    Article • January 2013, Springer Science + Business Media

    Thomas Sturm

  17. Foreword

    Article • Mathematics in Computer Science, December 2012, Springer Science + Business Media

    Thomas Sturm

  18. Algorithmic Global Criteria for Excluding Oscillations

    Article • Bulletin of Mathematical Biology, January 2011, Springer Science + Business Media

    Prof. Dr. Andreas G. Weber, Thomas Sturm

  19. On Muldowney’s Criteria for Polynomial Vector Fields with Constraints

    Article • January 2011, Springer Science + Business Media

    Prof. Dr. Andreas G. Weber, Thomas Sturm

  20. Automatic Verification of the Adequacy of Models for Families of Geometric Objects

    Article • January 2011, Springer Science + Business Media

    Thomas Sturm

  21. Verification and synthesis using real quantifier elimination

    Article • January 2011, ACM (Association for Computing Machinery)

    Thomas Sturm

  22. Parametric quantified SAT solving

    Article • July 2010, ACM (Association for Computing Machinery)

    Thomas Sturm

  23. Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)

    Article • January 2010, Springer Science + Business Media

    Prof. Dr. Andreas G. Weber, Thomas Sturm

  24. Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests

    Article • January 2010, Springer Science + Business Media

    Thomas Sturm

  25. Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology

    Article • Mathematics in Computer Science, March 2009, Springer Science + Business Media

    Prof. Dr. Andreas G. Weber, Thomas Sturm

  26. Effective Quantifier Elimination for Presburger Arithmetic with Infinity

    Article • January 2009, Springer Science + Business Media

    Thomas Sturm

  27. Editorial

    Article • Applicable Algebra in Engineering Communication and Computing, October 2007, Springer Science + Business Media

    Thomas Sturm

  28. Weak quantifier elimination for the full linear theory of the integers

    Article • Applicable Algebra in Engineering Communication and Computing, October 2007, Springer Science + Business Media

    Thomas Sturm

  29. Editorial

    Article • Journal of Symbolic Computation, November 2006, Elsevier

    Thomas Sturm

  30. New Domains for Applied Quantifier Elimination

    Article • January 2006, Springer Science + Business Media

    Thomas Sturm

  31. Quantifier Elimination for Constraint Logic Programming

    Article • January 2005, Springer Science + Business Media

    Thomas Sturm

  32. Efficient projection orders for CAD

    Article • January 2004, ACM (Association for Computing Machinery)

    Thomas Sturm

  33. A generic projection operator for partial cylindrical algebraic decomposition

    Article • January 2003, ACM (Association for Computing Machinery)

    Thomas Sturm

  34. Applications of Computer Algebra

    Article • January 2003, Springer Science + Business Media

    Thomas Sturm

  35. Integration of Quantifier Elimination with Constraint Logic Programming

    Article • January 2002, Springer Science + Business Media

    Thomas Sturm

  36. Artificial Intelligence, Automated Reasoning, and Symbolic Computation

    Article • January 2002, Springer Science + Business Media

    Thomas Sturm, Robert Corless

  37. Parametric Systems of Linear Congruences

    Article • January 2001, Springer Science + Business Media

    Thomas Sturm

  38. Linear Problems in Valued Fields

    Article • Journal of Symbolic Computation, August 2000, Elsevier

    Thomas Sturm

  39. An Algebraic Approach to Offsetting and Blending of Solids

    Article • January 2000, Springer Science + Business Media

    Thomas Sturm

  40. Reasoning over Networks by Symbolic Methods

    Article • Applicable Algebra in Engineering Communication and Computing, August 1999, Springer Science + Business Media

    Thomas Sturm

  41. P-adic constraint solving

    Article • January 1999, ACM (Association for Computing Machinery)

    Thomas Sturm

  42. Real Quantifier Elimination in Practice

    Article • January 1999, Springer Science + Business Media

    Thomas Sturm

  43. Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology

    Article • Springer Science + Business Media

    Prof. Dr. Andreas G. Weber, Thomas Sturm

  44. Weak Integer Quantifier Elimination Beyond the Linear Case

    Article • Springer Science + Business Media

    Thomas Sturm