Automated production of readable proofs for theorems in non-Euclidean geometries
1997 ◽
pp. 171-188
◽
Keyword(s):
1999 ◽
Vol 26
(4)
◽
pp. 473-479
◽
2011 ◽
Vol 54
(6)
◽
pp. 292-307
◽
Keyword(s):
Keyword(s):
Keyword(s):