Machine synthesis of mathematical theorems

DOI10.1016/0743-1066(90)90042-4zbMath0705.68093OpenAlexW2088371085MaRDI QIDQ3485887

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)

Related Items (5)

On controllability of nonlinear systems under phase restrictions and persistent perturbations ⋮ Logical approach to control theory and applications ⋮ On the implication of properties of related systems: a method for obtaining implication conditions and application examples ⋮ The logic-algebraic equations method in system dynamics ⋮ A method for the synthesis of deducibility conditions for Horn and some other formulas

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