Scaling Infeasibility Proofs via Concurrent, Codimension-One, Locally-Updated Coxeter Triangulation.

Sihui Li Neil T. Dantam

Published in: IEEE Robotics Autom. Lett. (2023)

Keyphrases

theorem proving
database
range data
theorem prover
globally consistent
data sets
feasible solution
mutual exclusion
equational theories
databases
decision procedures
delaunay triangulation
natural deduction
formal proof
formal proofs
mathematical proofs