Six Proofs of the Fáry-Milnor Theorem.

Anton Petrunin Stephan Stadler

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

Keyphrases

interactive theorem proving
theorem proving
equational theories
neural network
decision procedures
formal proofs
von neumann
natural deduction
real time
data mining
knowledge base
cooperative
theorem prover
database
digital topology
intuitionistic logic
databases