scientific article; zbMATH DE number 1542850

MaRDI QIDQ4520303zbMATH OpenFDO

Authors Dongming Wang

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_1_9/a_method_for_proving

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving
• scientific article; zbMATH DE number 4187140
• Mechanical theorem proving in differential geometry: Local theory of surfaces
• Mechanical theorem proving of differential geometries and some of its applications in mechanics
• A procedure to prove statements in differential geometry

Cited in

(9)

• 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
• Mechanical theorem proving for tensor with indexes in differential geometry
• scientific article; zbMATH DE number 4101137 (Why is no real title available?)
• scientific article; zbMATH DE number 1745039 (Why is no real title available?)
• scientific article; zbMATH DE number 4187140 (Why is no real title available?)
• Unmixed-dimensional decomposition of a finitely generated perfect differential ideal
• Geometry machines: from AI to SMC
• A procedure to prove statements in differential geometry

This page was built for publication:

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