A Symbolic Computation System for the Calculus of Moving Surfaces

Authors: Mark Boady, Pavel Grinfeld, Jeremy Johnson
Department of Computer Science
Presented at: ISSAC 2011
http://www.issac-conference.org/2011/posters.html