A New Proof of the Erdős-Simonovits Conjecture on Walks.

Grigoriy Blekherman Annie Raymond

Published in: Graphs Comb. (2023)

Keyphrases

theorem proving
linear logic
proof planning
database
face recognition
theorem prover
expert systems
mobile robot
complete axiomatization
mathematical proofs