| 2004 |
|---|
| 5 | EE | Richard Sommer,
Gregory Nuckols:
A Proof Environment for Teaching Mathematics.
J. Autom. Reasoning 32(3): 227-258 (2004) |
| 2001 |
|---|
| 4 | EE | David McMath,
Marianna Rozenfeld,
Richard Sommer:
A Computer Environment for Writing Ordinary Mathematical Proofs.
LPAR 2001: 507-516 |
| 1999 |
|---|
| 3 | | Jeremy Avigad,
Richard Sommer:
The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength.
J. Symb. Log. 64(1): 327-349 (1999) |
| 1997 |
|---|
| 2 | EE | Jeremy Avigad,
Richard Sommer:
A model-theoretic approach to ordinal analysis.
Bulletin of Symbolic Logic 3(1): 17-52 (1997) |
| 1995 |
|---|
| 1 | | Richard Sommer:
Transfinite Induction within Peano Arithmetic.
Ann. Pure Appl. Logic 76(3): 231-289 (1995) |
