Euclid after Computer Proof-Checking.

Published in: Am. Math. Mon. (2022)

Keyphrases

computer systems
theorem prover
theorem proving
real time
neural network
multiscale
multi agent systems
special case
machine intelligence
computer programming
computer software
linear logic
complete axiomatization