A proof of the Square Paths Conjecture.

Published in: J. Comb. Theory, Ser. A (2017)

Keyphrases

theorem proving
neural network
artificial intelligence
shortest path
theorem prover
optimal path
mathematical proofs
search engine
case study
database systems
multiscale
relational databases
multiresolution
linear logic
proof planning