Deepak Kapur
Scholar

Deepak Kapur

Google Scholar ID: U6XKBVIAAAAJ
University of New Mexico
automated reasoningformal methodssymbolic computationunification theoryterm rewriting
Google Scholar↗
Citations & Impact
All-time
Citations
10,050
 
H-index
58
 
i10-index
174
 
Publications
20
 
Co-authors
53
list available
Contact
No contact links provided.
Publications
2 items
Computing Certificates in Archimedean Univariate Saturated Quadratic Modules
2026
Cited
0
Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
2025
Cited
0
Resume (English only)
Co-authors
53 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
Mark Marron
Mark Marron
Microsoft Research
Manuel Hermenegildo
Manuel Hermenegildo
IMDEA Software Institute and Technical U. of Madrid (UPM)
Pascal Van Hentenryck
Pascal Van Hentenryck
Georgia Institute of Technology
David McAllester
David McAllester
Professor, Toyota Technological Institute at Chicago