Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Finding Proofs in Tarskian Geometry. | 0 | 0.34 | 2017 |
| Mixing Computations and Proofs. | 1 | 0.35 | 2016 |
| A constructive version of Tarski's geometry. | 4 | 0.46 | 2015 |
| Herbrand's theorem and non-Euclidean geometry | 1 | 0.37 | 2015 |
| OTTER Proofs in Tarskian Geometry. | 6 | 0.49 | 2014 |
| Logic of ruler and compass constructions | 1 | 0.41 | 2012 |
| Mathematical Induction in Otter-Lambda | 4 | 0.55 | 2006 |
| The Meaning of Infinity in Calculus and Computer Algebra Systems | 3 | 0.70 | 2005 |
| Lambda Logic | 2 | 0.43 | 2004 |