The Kelmans-Seymour conjecture IV: A proof.

Dawei He Yan Wang Xingxing Yu

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

Keyphrases

theorem prover
multiresolution
theorem proving
information systems
cooperative
linear logic
mathematical proofs
real time
machine learning
feature selection
high level
digital libraries
preprocessing
geometry theorem proving