Computational Symbolic Geometry
1995 ◽
pp. 107-139
◽