Login / Signup

A proof of the Prelov conjecture.

Yi C. HuangFei Xue
Published in: CoRR (2023)
Keyphrases
  • theorem proving
  • linear logic
  • geometry theorem proving
  • theorem prover
  • three dimensional
  • data structure
  • computer science
  • lower bound
  • special case
  • automated theorem proving
  • proof theory