A geometry prover based on a combined probabilistic checking model

MaRDI QIDQ3461161zbMATH OpenFDO

Authors Mingyan Chen, Zhenbing Zeng

Publication date 15 January 2016

zbMATH Keywords

combined probabilistic model checkinggeometry theorem provingprobabilistic algorithm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Elementary problems in Euclidean geometries (51M04) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1189071
• scientific article; zbMATH DE number 3980529
• Mechanical geometry theorem proving
• scientific article; zbMATH DE number 1263331
• Mechanical theorem proving in projective geometry

Cited in

(3)

• scientific article; zbMATH DE number 1189071 (Why is no real title available?)
• scientific article; zbMATH DE number 1746666 (Why is no real title available?)
• A probabilistic algorithm for verification of geometric theorems

Describes a project that uses

Uses Software

• Maple

This page was built for publication: A geometry prover based on a combined probabilistic checking model

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