Thomas Sturm
Thomas Sturm
Research Director, CNRS
Email verificata su loria.fr - Home page
TitoloCitata daAnno
Redlog: Computer algebra meets computer logic
A Dolzmann, T Sturm
Acm Sigsam Bulletin 31 (2), 2-9, 1997
4321997
Real quantifier elimination in practice
A Dolzmann, T Sturm, V Weispfenning
Algorithmic algebra and number theory, 221-247, 1999
1461999
Simplification of quantifier-free formulae over ordered fields
A Dolzmann, T Sturm
J. Symb. Comput. 24 (2), 209-231, 1997
1261997
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
Efficient projection orders for CAD
A Dolzmann, A Seidl, T Sturm
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004
952004
Redlog user manual
A Dolzmann, T Sturm
FMI, Universität Passau, 1996
791996
Verification and synthesis using real quantifier elimination
T Sturm, A Tiwari
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
702011
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
432015
Computational geometry problems in Redlog
T Sturm, V Weispfenning
International Workshop on Automated Deduction in Geometry, 58-86, 1996
411996
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
372009
A generic projection operator for partial cylindrical algebraic decomposition
A Seidl, T Sturm
Proceedings of the 2003 international symposium on Symbolic and algebraic …, 2003
362003
Reasoning over networks by symbolic methods
T Sturm
Applicable Algebra in Engineering, Communication and Computing 10 (1), 79-96, 1999
361999
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
322016
Investigating generic methods to solve Hopf bifurcation problems in algebraic biology
T Sturm, A Weber
International Conference on Algebraic Biology, 200-215, 2008
322008
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
292007
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
261997
Quantifier elimination in term algebras
T Sturm, V Weispfenning
in Computer Algebra in Scientific Computation-CASC 2002. TUM, 2002, 2002
252002
Linear problems in valued fields
T Sturm
Journal of Symbolic Computation 30 (2), 207-219, 2000
252000
Real Quantifier Elimination in Geometry
T Sturm
FMI, Universität Passau, Germany, 1999
241999
Guarded expressions in practice
A Dolzmann, T Sturm
Proceedings of the 1997 international symposium on Symbolic and algebraic …, 1997
241997
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20