Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant

DOI10.1007/s11425-008-0053-8zbMath1193.53008OpenAlexW2049701943MaRDI QIDQ1042772

Ruyong Feng, Jian-Ping Yu

Publication date: 7 December 2009

Published in: Science in China. Series A (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11425-008-0053-8

Mathematics Subject Classification ID

Surfaces in Euclidean and related spaces (53A05) Differential algebra (12H05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A procedure to prove statements in differential geometry
• Mechanical theorem proving of differential geometries and some of its applications in mechanics
• Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
• Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving
• Mechanical theorem proving in differential geometry: Local theory of surfaces
• Factorization-free decomposition algorithms in differential algebra
• Mechanical theorem proving in the local theory of surfaces
• On algebrico-differential equations-solving

This page was built for publication: Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant