Machine synthesis of mathematical theorems
From MaRDI portal
Publication:3485887
DOI10.1016/0743-1066(90)90042-4zbMATH Open0705.68093OpenAlexW2088371085MaRDI QIDQ3485887FDOQ3485887
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
Recommendations
- scientific article
- scientific article; zbMATH DE number 3898269
- scientific article
- 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)
- 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
- Title not available (Why is that?)
- Ascertaining mathematical theorems
- Structural method for formulating the equations of state of a multidimensional system
- Title not available (Why is that?)
- Logical approach to control theory and applications
- A method for the synthesis of deducibility conditions for Horn and some other formulas
- On controllability of nonlinear systems under phase restrictions and persistent perturbations
- On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
- Title not available (Why is that?)
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)
