Sign in
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