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
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 2
Co-author 3
Co-author 4
Co-author 5
James Davenport
Hebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCS
Co-author 7
Erika Abraham
Professor, Computer Science Department, RWTH Aachen University
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up