scientific article; zbMATH DE number 1263331

zbMath0968.03520MaRDI QIDQ4234209

Shang-Ching Chou, Jing-Zhong Zhang, Xiao-Shan Gao

Publication date: 28 August 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Automated production of traditional proofs in solid geometry, Automated discovery of geometric theorems based on vector equations, Self-evident automated geometric theorem proving based on complex number identity, A review and prospect of readable machine proofs for geometry theorems, Self-evident automated proving based on point geometry from the perspective of Wu's method identity, Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method