Login / Signup
A proof of the Prelov conjecture.
Yi C. Huang
Fei 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