History


Help on query formulation
first | previous | 1 | next | last

Result 1 to 2 of 2 total

Plato on the foundations of modern theorem provers. (English)
Math. Enthus. 13, No. 3, 303-314 (2016).
Classification: E50 A30 R40
1
What is a mathematical proof in the age of modern theorem provers? (English)
Philos. Math. Educ. J. 29, 7 p., electronic only (2015).
Classification: E50 E20 D20 R40
2
first | previous | 1 | next | last

Result 1 to 2 of 2 total

Valid XHTML 1.0 Transitional Valid CSS!