A term rewriting system for the calculus of moving surfaces.

Mark Boady Pavel Grinfeld Jeremy R. Johnson

Published in: ISSAC (2013)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
rigid objects
three dimensional
surface reconstruction
free form
moving objects
range data
inference rules
formal semantics