Thomas Sturm

Cited by

	All	Since 2018
Citations	2234	649
h-index	23	12
i10-index	46	21

180

135

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202315 30 39 79 56 51 29 71 78 48 80 109 37 55 75 75 101 91 91 107 133 90 161 100 115 141 117 15

Public access

View all

25 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andreas WeberProfessor of Computer Science, University of BonnVerified email at cs.uni-bonn.de
Werner M. SeilerProfessor für Mathematik, Universität KasselVerified email at mathematik.uni-kassel.de
Dr. Hassan ErramiUniversity of BonnVerified email at cs.uni-bonn.de
Marek KoštaSlovak Academy of SciencesVerified email at savba.sk
Dima GrigorievDirecteur de recherche, CNRS, LilleVerified email at math.univ-lille1.fr
Ovidiu RadulescuProfessor at University of MontpellierVerified email at umontpellier.fr
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerified email at bath.ac.uk
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Xuan Tung VuPh.D. Student at JAISTVerified email at jaist.ac.jp
Daniel KroeningAmazonVerified email at amazon.com
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Martin BrainCity, University of LondonVerified email at city.ac.uk
John AbbottRicercatore di Algebra, Universita` di GenovaVerified email at dima.unige.it
Anna Maria BigattiRicercatore di Algebra, Universita' degli Studi di GenovaVerified email at dima.unige.it
Bruno BuchbergerProfesser for Computer Mathematics, Johannes Kepler UniversityVerified email at jku.at
Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusVerified email at mpi-inf.mpg.de
Vladimir GerdtJoint Institute for Nuclear ResearchVerified email at jinr.ru
Mizuhito OgawaJAISTVerified email at jaist.ac.jp

Thomas Sturm

Research Director, CNRS

Verified email at loria.fr - Homepage

Symbolic Computation Automated Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Redlog: Computer algebra meets computer logic A Dolzmann, T Sturm Acm Sigsam Bulletin 31 (2), 2-9, 1997	495	1997
Real quantifier elimination in practice A Dolzmann, T Sturm, V Weispfenning Algorithmic Algebra and Number Theory: Selected Papers From a Conference …, 1999	155	1999
Simplification of quantifier-free formulae over ordered fields A Dolzmann, T Sturm J. Symb. Comput. 24 (2), 209-231, 1997	137	1997
Efficient projection orders for CAD A Dolzmann, A Seidl, T Sturm Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004	116	2004
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	105	1998
Redlog user manual A Dolzmann, T Sturm FMI, Universität Passau, 1996	88	1996
Verification and synthesis using real quantifier elimination T Sturm, A Tiwari Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011	87	2011
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	57	2015
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	49*	2016
Computational geometry problems in Redlog T Sturm, V Weispfenning International Workshop on Automated Deduction in Geometry, 58-86, 1998	48	1998
A generic projection operator for partial cylindrical algebraic decomposition A Seidl, T Sturm Proceedings of the 2003 international symposium on Symbolic and algebraic …, 2003	44	2003
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	41	2009
Reasoning over networks by symbolic methods T Sturm Applicable Algebra in Engineering, Communication and Computing 10 (1), 79-96, 1999	37	1999
Investigating generic methods to solve Hopf bifurcation problems in algebraic biology T Sturm, A Weber International Conference on Algebraic Biology, 200-215, 2008	36	2008
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	33	2007
Linear problems in valued fields T Sturm Journal of Symbolic Computation 30 (2), 207-219, 2000	30	2000
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	27	2017
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	27*	2017
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	27	1997
New domains for applied quantifier elimination T Sturm International Workshop on Computer Algebra in Scientific Computing, 295-301, 2006	26	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors