Login / Signup
On the generalized Erdős-Kneser conjecture: Proofs and reductions.
Jai Aslam
Shuli Chen
Ethan Coldren
Florian Frick
Linus Setiabrata
Published in:
J. Comb. Theory, Ser. B (2019)
Keyphrases
</>
language model
equational theories
theorem prover
information retrieval
artificial intelligence
objective function
efficient computation
decision procedures
eigenvalue problems
mathematical proofs