Proving Geometry Theorems with Rewrite Rules.

Shang-Ching Chou William F. Schelter

Published in: J. Autom. Reason. (1986)

Keyphrases

rewrite rules
term rewrite systems
rewriting rules
transformation rules
query optimization
three dimensional
consistency constraints
sql queries
geometric constraints
complex queries
equivalence classes
database systems
knn