Login / Signup
First-Order Reasoning and Efficient Semi-Algebraic Proofs.
Fedor Part
Neil Thapen
Iddo Tzameret
Published in:
CoRR (2021)
Keyphrases
</>
knowledge base
semi algebraic
image segmentation
data structure
management system
higher order
segmentation algorithm
first order logic
theorem proving
mathematical proofs