Login / Signup

Reasoning about Surfaces Using Differential Zero and Ideal Decomposition.

Philippe AubryDongming Wang
Published in: Automated Deduction in Geometry (2000)
Keyphrases