Skip to Main content Skip to Navigation
Conference papers

Reasoning about Surfaces Using Differential Zero and Ideal Decomposition

Philippe Aubry 1 Dongming Wang 1
1 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : This paper presents methods for zero and ideal decomposition of partial differential polynomial systems and the application of these methods and their implementations to deal with problems from the local theory of surfaces. We show how to prove known geometric theorems and to derive unknown relations automatically. In particular, an algebraic relation between the first and the second fundamental coefficients in a very compact form has been derived, which is more general and has smaller degree than a relation discovered previously by Z. Li. Moreover, we provide symmetric expressions for Li’s relation and clarify his statement. Some examples of theorem proving and computational difficulties encountered in our experiments are also discussed.
Complete list of metadata

https://hal.sorbonne-universite.fr/hal-01206994
Contributor : Philippe Aubry <>
Submitted on : Tuesday, September 29, 2015 - 10:15:16 PM
Last modification on : Friday, January 8, 2021 - 5:32:11 PM

Links full text

Identifiers

Citation

Philippe Aubry, Dongming Wang. Reasoning about Surfaces Using Differential Zero and Ideal Decomposition . Third International Workshop on Automated Deduction in Geometry, ADG 2000, Sep 2000, Zurich, Switzerland. pp.154-174, ⟨10.1007/3-540-45410-1_10⟩. ⟨hal-01206994⟩

Share

Metrics

Record views

147