A Quixotic Proof of Fermat's Two Squares Theorem for Prime Numbers.

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

Keyphrases

interactive theorem proving
neural network
data mining
theorem prover
theorem proving
von neumann
linear logic
feature selection
case study
image sequences
similarity measure
logic programming
hough transform
proof theoretic