Scholar

Jasmin Blanchette

Google Scholar ID: OpuTG3IAAAAJ

Ludwig-Maximilians-Universität München

Interactive and automatic theorem proving

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

5,109

H-index

35

i10-index

64

Publications

20

Co-authors

56

list available

Publications

5 items

Tao's Equational Proof Challenge Accepted (Technical Report)

2026

Cited

0

Term Orders for Optimistic Lambda-Superposition

2025

Cited

0

Optimistic Higher-Order Superposition

2025

Cited

0

Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL

2025

Cited

0

Closure Properties of General Grammars - Formally Verified

International Conference on Interactive Theorem Proving · 2023

Cited

0

Co-authors

11 total

Dmitriy Traytel

University of Copenhagen

University of Sheffield

Cezary Kaliszyk

Professor, University of Melbourne

University Freiburg

Distinguished Researcher at Czech Technical University in Prague

Professor of Computer Science, DHBW Stuttgart

Pascal Fontaine

LORIA, INRIA, Université de Lorraine, Nancy, France

University of Twente