Login / Signup
Variety Membership Testing, Algebraic Natural Proofs, and Geometric Complexity Theory.
Markus Bläser
Christian Ikenmeyer
Vladimir Lysikov
Anurag Pandey
Frank-Olaf Schreyer
Published in:
CoRR (2019)
Keyphrases
</>
complexity theory
computational geometry
theoretical basis
real world
theorem prover
convex hull
geometric constraints
data structure
theorem proving
computer graphics
geometric structure
computer algebra