Scholar
Thomas Sturm
Google Scholar ID: zc1k_1wAAAAJ
Research Director, CNRS
Symbolic Computation
Automated Reasoning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,505
H-index
25
i10-index
51
Publications
20
Co-authors
42
list available
Publications
2 items
Pseudo-Complex Quantifier Elimination
2026
Cited
0
On the Number of Real Types of Univariate Polynomials
2025
Cited
0
Co-authors
7 total
James Davenport
Hebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCS
Pascal Fontaine
LORIA, INRIA, Université de Lorraine, Nancy, France
Erika Abraham
Professor, Computer Science Department, RWTH Aachen University
Hamid Rahkooy
University of Oxford
Alberto Griggio
Researcher, Fondazione Bruno Kessler
Christoph Weidenbach
Professor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campus
Daniel Kroening
Amazon
