The parallel numerical method of mechanical theorem proving

DOI10.1016/0304-3975(90)90077-UzbMath0701.68087MaRDI QIDQ914413

Lu Yang, Mike Deng, Jing-Zhong Zhang

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

complexitytheorem provingmulti-instance numerical verificationparallel numerical method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Automated theorem proving in GeoGebra: current achievements ⋮ Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Recent advances in automated theorem proving on inequalities ⋮ A class of mechanically decidable problems beyond Tarski's model

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The parallel numerical method of proving the constructive geometric theorem