Conference
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
Series
Lecture Notes in Computer Science
Volume
6167
Pagination
pp. 157-157
Publisher
Springer Nature
Publication Date
2010
DOI
10.1007/978-3-642-14128-7_14
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743