Can a computer proof be elegant?
Keyword(s):
2002 ◽
Vol 13
(4)
◽
pp. 327-333
◽
Keyword(s):
2016 ◽
Vol 32
(6)
◽
pp. 829.e11-829.e13
◽
1991 ◽
Vol 117
(1-2)
◽
pp. 109-114
Keyword(s):