Philippe Aubry, Dongming Wang. Reasoning about Surfaces Using Differential Zero and Ideal Decomposition.
Third International Workshop on Automated Deduction in Geometry - ADG'2000, J. Richter-Gebert, D. Wang, 2000, Zurich, Switzerland, pp.154-174.
⟨inria-00100607⟩