Using geometric rewrite rules for solving geometric problems symbolically.

Beat D. Brüderlin

Published in: Theor. Comput. Sci. (1993)

Keyphrases

rewrite rules
multi dimensional
geometric constraints