scientific article; zbMATH DE number 1421056

MaRDI QIDQ4946080zbMATH OpenFDO

Authors Haiquan Yang, Shugong Zhang, Guochen Feng

Publication date 22 March 2000

zbMATH Keywords

automated theorem provingClifford algebraic polynomialsEuclidean spaceplane geometrysolid geometry

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Clifford algebras, spinors (15A66) Elementary problems in Euclidean geometries (51M04)

Recommendations

• scientific article; zbMATH DE number 1159859
• scientific article; zbMATH DE number 1303337
• Publication:4934142
• Clifford algebraic reduction method for automated theorem proving in differential geometry
• scientific article; zbMATH DE number 1421057

Cited in

(12)

• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
• Clifford algebraic reduction method for automated theorem proving in differential geometry
• Vectorial equations solving for mechanical geometry theorem proving
• scientific article; zbMATH DE number 994741 (Why is no real title available?)
• scientific article; zbMATH DE number 2128063 (Why is no real title available?)
• scientific article; zbMATH DE number 1189073 (Why is no real title available?)
• scientific article; zbMATH DE number 1222429 (Why is no real title available?)
• scientific article; zbMATH DE number 1303337 (Why is no real title available?)
• scientific article; zbMATH DE number 1159859 (Why is no real title available?)
• Symbolic computation in the homogeneous geometric model with clifford algebra
• scientific article; zbMATH DE number 1389649 (Why is no real title available?)
• scientific article; zbMATH DE number 1421057 (Why is no real title available?)

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 Q4946080)