scientific article; zbMATH DE number 1474909

MaRDI QIDQ4489486zbMATHFDO

Authors Zhaojun Liang

Publication date 5 December 2000

zbMATH Keywords

automated theorem proving

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

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

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)