Reasoning about surfaces using differential zero and ideal decomposition

DOI10.1007/3-540-45410-1_10MaRDI QIDQ4531859zbMATH OpenFDO

Authors Philippe Aubry, Dongming Wang

Publication date 23 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2061/20610154

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Mechanical theorem proving in the local theory of surfaces
• scientific article; zbMATH DE number 1542850
• Mechanical theorem proving in differential geometry: Local theory of surfaces
• Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant
• scientific article; zbMATH DE number 1390433

Cited in

(1)

• Decomposition and reconstitution principle for complex surfaces and its applications

This page was built for publication: Reasoning about surfaces using differential zero and ideal decomposition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531859)