Machine synthesis of mathematical theorems

DOI10.1016/0743-1066(90)90042-4MaRDI QIDQ3485887zbMATH OpenOpenAlexFDO

Authors S. N. Vasil'ev

Publication date 1990

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(90)90042-4

zbMATH Keywords

algorithmization of theorem synthesis

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4155933
• scientific article; zbMATH DE number 3898269
• scientific article; zbMATH DE number 5909822
• scientific article; zbMATH DE number 158462
• scientific article; zbMATH DE number 4043814
• A machine program for theorem-proving
• Computer theorem proving in mathematics
• Mathematics by machine
• Automated theorem proving methods
• Automated theorem proving in mathematics.

Cited in

(11)

• Ascertaining mathematical theorems
• On controllability of nonlinear systems under phase restrictions and persistent perturbations
• scientific article; zbMATH DE number 5909822 (Why is no real title available?)
• On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
• On the implication of properties of related systems: a method for obtaining implication conditions and application examples
• A method for the synthesis of deducibility conditions for Horn and some other formulas
• Structural method for formulating the equations of state of a multidimensional system
• Logical approach to control theory and applications
• The logic-algebraic equations method in system dynamics
• scientific article; zbMATH DE number 4155933 (Why is no real title available?)
• scientific article; zbMATH DE number 3898269 (Why is no real title available?)

This page was built for publication: Machine synthesis of mathematical theorems

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