Reasoning about Surfaces Using Differential Zero and Ideal Decomposition
Identifieur interne : 009535 ( Main/Merge ); précédent : 009534; suivant : 009536Reasoning about Surfaces Using Differential Zero and Ideal Decomposition
Auteurs : Philippe Aubry ; Dongming WangSource :
English descriptors
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.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 003038
- to stream Crin, to step Curation: 003038
- to stream Crin, to step Checkpoint: 001630
Links to Exploration step
CRIN:aubry01aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="307">Reasoning about Surfaces Using Differential Zero and Ideal Decomposition</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:aubry01a</idno>
<date when="2001" year="2001">2001</date>
<idno type="wicri:Area/Crin/Corpus">003038</idno>
<idno type="wicri:Area/Crin/Curation">003038</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003038</idno>
<idno type="wicri:Area/Crin/Checkpoint">001630</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">001630</idno>
<idno type="wicri:Area/Main/Merge">009535</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Reasoning about Surfaces Using Differential Zero and Ideal Decomposition</title>
<author><name sortKey="Aubry, Philippe" sort="Aubry, Philippe" uniqKey="Aubry P" first="Philippe" last="Aubry">Philippe Aubry</name>
</author>
<author><name sortKey="Wang, Dongming" sort="Wang, Dongming" uniqKey="Wang D" first="Dongming" last="Wang">Dongming Wang</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>automatic reasoning</term>
<term>differential algebra</term>
<term>differential geometry</term>
<term>triangular decomposition</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="1857">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.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 009535 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 009535 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Merge |type= RBID |clé= CRIN:aubry01a |texte= Reasoning about Surfaces Using Differential Zero and Ideal Decomposition }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |