Thomas Sturm
Scholar

Thomas Sturm

Google Scholar ID: zc1k_1wAAAAJ
Research Director, CNRS
Symbolic ComputationAutomated Reasoning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,505
 
H-index
25
 
i10-index
51
 
Publications
20
 
Co-authors
42
list available
Contact
No contact links provided.
Publications
2 items
Pseudo-Complex Quantifier Elimination
2026
Cited
0
On the Number of Real Types of Univariate Polynomials
2025
Cited
0
Resume (English only)
Co-authors
42 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
James Davenport
James Davenport
Hebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCS
Co-author 7
Co-author 7
Erika Abraham
Erika Abraham
Professor, Computer Science Department, RWTH Aachen University