Locking-Proof Tetrahedra.

Mihai Frâncu Arni Asgeirsson Kenny Erleben Mads J. L. Rønnow

Published in: ACM Trans. Graph. (2021)

Keyphrases

theorem prover
theorem proving
volumetric data
garbage collection
fine granularity
real world
case study
search algorithm
data objects
concurrency control
automated theorem proving
proof planning
knowledge base
database systems
linear logic
geometry theorem proving