Follow
Thomas Sturm
Thomas Sturm
Research Director, CNRS
Verified email at loria.fr - Homepage
Title
Cited by
Cited by
Year
Redlog: Computer algebra meets computer logic
A Dolzmann, T Sturm
Acm Sigsam Bulletin 31 (2), 2-9, 1997
5301997
Real quantifier elimination in practice
A Dolzmann, T Sturm, V Weispfenning
Algorithmic Algebra and Number Theory: Selected Papers From a Conference …, 1999
1591999
Simplification of quantifier-free formulae over ordered fields
A Dolzmann, T Sturm
J. Symb. Comput. 24 (2), 209-231, 1997
1431997
Efficient projection orders for CAD
A Dolzmann, A Seidl, T Sturm
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004
1322004
A new approach for automatic theorem proving in real geometry
A Dolzmann, T Sturm, V Weispfenning
Journal of Automated Reasoning 21 (3), 357-380, 1998
1161998
Verification and synthesis using real quantifier elimination
T Sturm, A Tiwari
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
892011
Redlog user manual
A Dolzmann, T Sturm
FMI, Universität Passau, 1996
891996
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
H Errami, M Eiswirth, D Grigoriev, WM Seiler, T Sturm, A Weber
Journal of Computational Physics 291, 279-302, 2015
652015
: Satisfiability Checking Meets Symbolic Computation: (Project Paper)
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
International Conference on Intelligent Computer Mathematics, 28-43, 2016
552016
Computational geometry problems in Redlog
T Sturm, V Weispfenning
Automated Deduction in Geometry: International Workshop on Automated …, 1997
521997
A generic projection operator for partial cylindrical algebraic decomposition
A Seidl, T Sturm
Proceedings of the 2003 international symposium on Symbolic and algebraic …, 2003
452003
Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
T Sturm, A Weber, EO Abdel-Rahman, M El Kahoui
Mathematics in Computer Science 2, 493-515, 2009
432009
Weak quantifier elimination for the full linear theory of the integers: A uniform generalization of presburger arithmetic
A Lasaruk, T Sturm
Applicable Algebra in Engineering, Communication and Computing 18, 545-574, 2007
382007
Investigating generic methods to solve Hopf bifurcation problems in algebraic biology
T Sturm, A Weber
International Conference on Algebraic Biology, 200-215, 2008
372008
Reasoning over networks by symbolic methods
T Sturm
Applicable Algebra in Engineering, Communication and Computing 10, 79-96, 1999
361999
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
T Sturm
Mathematics in Computer Science 11 (3), 483-502, 2017
332017
Thirty Years of Virtual Substitution: Foundations, Techniques, Applications
T Sturm
Proceedings of the 2018 ACM on International Symposium on Symbolic and …, 2018
322018
Linear problems in valued fields
T Sturm
Journal of Symbolic Computation 30 (2), 207-219, 2000
322000
Identifying the parametric occurrence of multiple steady states for some biological networks
R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ...
Journal of Symbolic Computation 98, 84-119, 2020
312020
Subtropical Satisfiability
P Fontaine, M Ogawa, T Sturm, XT Vu
International Symposium on Frontiers of Combining Systems, 189-206, 2017
302017
The system can't perform the operation now. Try again later.
Articles 1–20