scientific article; zbMATH DE number 95106

MaRDI QIDQ4021269zbMATH OpenFDO

Authors Lu Yang, Jingzhong Zhang, Chuan-Zhong Li

Publication date 16 January 1993

zbMATH Keywords

constructive seriesnumerical verification

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04) Geometric constructions in real or complex geometry (51M15)

Recommendations

• The parallel numerical method of mechanical theorem proving
• scientific article; zbMATH DE number 3980529
• Mechanical theorem proving in projective geometry
• scientific article; zbMATH DE number 1263331
• scientific article; zbMATH DE number 2160466

Cited in

(7)

• Recent advances in automated theorem proving on inequalities
• An application of CLP: Checking the correctness of theorems in geometry
• Automatic verification of the adequacy of models for families of geometric objects
• scientific article; zbMATH DE number 4154416 (Why is no real title available?)
• scientific article; zbMATH DE number 3980529 (Why is no real title available?)
• Geometry machines: from AI to SMC
• The parallel numerical method of mechanical theorem proving

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