Euclid after Computer Proof-Checking

Beeson, M

Beeson, M (通讯作者),San Jose State Univ, Dept Math, One Washington Sq, San Jose, CA 95192 USA.

AMERICAN MATHEMATICAL MONTHLY, 2022; 129 (7): 623