A symbolic computation system for the calculus of moving surfaces. - Mark Boady; Pavel Grinfeld; Jeremy Johnson 001 (ACM Commun. Comput. Algebra, 2011)

A term rewriting system for the calculus of moving surfaces. - Mark Boady; Pavel Grinfeld; Jeremy Johnson 001 (ISSAC, 2013)