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
5171997
Real quantifier elimination in practice
A Dolzmann, T Sturm, V Weispfenning
Algorithmic Algebra and Number Theory: Selected Papers From a Conference …, 1999
1571999
Simplification of quantifier-free formulae over ordered fields
A Dolzmann, T Sturm
J. Symb. Comput. 24 (2), 209-231, 1997
1421997
Efficient projection orders for CAD
A Dolzmann, A Seidl, T Sturm
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004
1242004
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
1081998
Verification and synthesis using real quantifier elimination
T Sturm, A Tiwari
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
872011
Redlog user manual
A Dolzmann, T Sturm
FMI, Universität Passau, 1996
871996
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
622015
: 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
512016
Computational geometry problems in Redlog
T Sturm, V Weispfenning
Automated Deduction in Geometry: International Workshop on Automated …, 1997
511997
A generic projection operator for partial cylindrical algebraic decomposition
A Seidl, T Sturm
Proceedings of the 2003 international symposium on Symbolic and algebraic …, 2003
432003
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
422009
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
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
352007
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
T Sturm
Mathematics in Computer Science 11 (3-4), 483-502, 2017
302017
Linear problems in valued fields
T Sturm
Journal of Symbolic Computation 30 (2), 207-219, 2000
302000
A Case Study on the Parametric Occurrence of Multiple Steady States
T Sturm, R Bradford, J Davenport, M England, H Errami, V Gerdt, ...
Proc. ISSAC 2017, 2017
29*2017
Thirty Years of Virtual Substitution: Foundations, Techniques, Applications
T Sturm
Proceedings of the 2018 ACM on International Symposium on Symbolic and …, 2018
272018
Subtropical Satisfiability
P Fontaine, M Ogawa, T Sturm, XT Vu
International Symposium on Frontiers of Combining Systems, 189-206, 2017
272017
The system can't perform the operation now. Try again later.
Articles 1–20