Fully Computer-Assisted Proofs in Extremal Combinatorics.

Olaf Parczyk Sebastian Pokutta Christoph Spiegel Tibor Szabó

Published in: AAAI (2023)

Keyphrases

computer assisted
graph theory
computer aided
intraoperative
foreign language
surgical training
x ray
inference rules
theorem proving
vocabulary learning
formal proof
formal proofs
maximally stable
total knee replacement