A strengthening of Erdős-Gallai Theorem and proof of Woodall's conjecture.

Binlong Li Bo Ning

Published in: J. Comb. Theory, Ser. B (2021)

Keyphrases

interactive theorem proving
theorem proving
theorem prover
three dimensional
logic programming
mathematical proofs
geometry theorem proving
database
genetic algorithm
social networks
information systems
feature selection
high level
von neumann
linear logic
proof planning