TY  - RPRT
TI  - Computer theorem proving in math
AU  - Carlos T. Simpson
PY  - 2004
DO  - 10.1007/s11005-004-0607-9
UR  - https://arxiv.org/abs/math/0311260
ID  - math/0311260
ER  -