scientific article; zbMATH DE number 1474909

zbMATH Open0949.68569MaRDI QIDQ4489486FDOQ4489486

Authors: Zhaojun Liang 

Publication date: 5 December 2000

Title of this publication is not available (Why is that?)

Recommendations

• Automatic theorem proving for three decades
• scientific article; zbMATH DE number 871442
• scientific article; zbMATH DE number 3881899
• The computational content of arithmetical proofs
• scientific article; zbMATH DE number 1787153
• On automating diagrammatic proofs of arithmetic arguments
• New uses of linear arithmetic in automated theorem proving by induction
• Proof simplification and automated theorem proving
• scientific article; zbMATH DE number 107873

zbMATH Keywords

automated theorem proving

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

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