Nelson, Edward
math.princeton.eduPrinceton University - Bounded arithmetic, automated proof verification (QED).
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
Princeton University - Bounded arithmetic, automated proof verification (QED).