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
4611997
Real quantifier elimination in practice
A Dolzmann, T Sturm, V Weispfenning
Algorithmic algebra and number theory, 221-247, 1999
1471999
Simplification of quantifier-free formulae over ordered fields
A Dolzmann, T Sturm
J. Symb. Comput. 24 (2), 209-231, 1997
1321997
Efficient projection orders for CAD
A Dolzmann, A Seidl, T Sturm
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004
1072004
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
1051998
Redlog user manual
A Dolzmann, T Sturm
FMI, Universität Passau, 1996
851996
Verification and synthesis using real quantifier elimination
T Sturm, A Tiwari
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
782011
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
482015
Computational geometry problems in Redlog
T Sturm, V Weispfenning
International Workshop on Automated Deduction in Geometry, 58-86, 1996
441996
Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
T Sturm, A Weber, EO Abdel-Rahman
Mathematics in Computer Science 2 (3), 493-515, 2009
402009
A generic projection operator for partial cylindrical algebraic decomposition
A Seidl, T Sturm
Proceedings of the 2003 international symposium on Symbolic and algebraic …, 2003
402003
SC2: Satisfiability Checking Meets Symbolic Computation
E Abrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016
372016
Reasoning over networks by symbolic methods
T Sturm
Applicable Algebra in Engineering, Communication and Computing 10 (1), 79-96, 1999
371999
Investigating generic methods to solve Hopf bifurcation problems in algebraic biology
T Sturm, A Weber
International Conference on Algebraic Biology, 200-215, 2008
342008
Weak quantifier elimination for the full linear theory of the integers
A Lasaruk, T Sturm
Applicable Algebra in Engineering, Communication and Computing 18 (6), 545-574, 2007
312007
Linear problems in valued fields
T Sturm
Journal of Symbolic Computation 30 (2), 207-219, 2000
272000
Real Quantifier Elimination in Geometry
T Sturm
FMI, Universität Passau, Germany, 1999
261999
Rounding and blending of solids by a real elimination method
T Sturm, V Weispfenning
Proceedings of the 15th IMACS World Congress on Scientific Computation …, 1997
251997
Guarded expressions in practice
A Dolzmann, T Sturm
Proceedings of the 1997 international symposium on Symbolic and algebraic …, 1997
251997
New domains for applied quantifier elimination
T Sturm
International Workshop on Computer Algebra in Scientific Computing, 295-301, 2006
242006
The system can't perform the operation now. Try again later.
Articles 1–20