Neil Thapen
Scholar

Neil Thapen

Google Scholar ID: bOt3uDMAAAAJ
Researcher, Institute of Mathematics, Czech Academy of Sciences
mathematical logiccomputational complexityproof complexity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
646
 
H-index
14
 
i10-index
21
 
Publications
20
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
3 items
Quantified propositional calculi and narrow implicit proofs
2026
Cited
0
On the consistency of stronger lower bounds for NEXP
2025
Cited
0
How to fit large complexity classes into TFNP
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
9 total
Sam Buss
Sam Buss
Professor of Mathematics and Computer Science
Massimo Lauria
Massimo Lauria
Sapienza - Università di Roma
Nicola Galesi
Nicola Galesi
Sapienza University Rome
Jakob Nordström
Jakob Nordström
University of Copenhagen and Lund University
Yuval Filmus
Yuval Filmus
Associate Professor, Technion
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8