Mechanized Mathematics

Abstract

If one were designing an entirely new mathematical assistant, what might it look like? Problems and some favoured solutions are presented.

Authors

Carette J

Lecture Notes in Computer Science

6167

pp. 157-157

Springer Nature

July 29, 2010

10.1007/978-3-642-14128-7_14

Lecture Notes in Computer Science

0302-9743

Jacques Carette