AbstractWe present a brief survey of the methods and systems for automation of synthesis of formulations of mathematical theorems. A more detailed presentation of a method of theorem synthesis on the basis of logical equations, which are written in a partially formalized language, is given. The applications of the method are indicated
AbstractWe present a constructive description of the automatic program synthesis method used in the ...
AbstractWe present a detailed review of the elements of automated theorem proving, emphasizing certa...
: It is widely believed that in principle it's possible to reduce most of present-day mathemati...
AbstractWe present a brief survey of the methods and systems for automation of synthesis of formulat...
AbstractAn approach to the synthesis of technological processes is proposed. Technological knowledge...
Systems supporting the manipulation of non-trivial program code are complex and are at best semi-aut...
In this thesis we deal with the problem of automatic proving (or disproving) mathematical conjecture...
AbstractRecently, we proposed a systematic method for top-down synthesis and verification of lemmata...
The use of *proof plans* -- formal patterns of reasoning for theorem proving -- to control the (auto...
AbstractStarting from the system PRIZ, the method of automatic program synthesis is used in AI syste...
131 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1983.This thesis contains two part...
We describe a formalization of the meta-mathematics of programming in a higher-order logical calculu...
AbstractTheorema is a project that aims at supporting the entire process of mathematical theory expl...
The idea of mechanizing reasoning is an old dream that can be traced at least back to Leibniz. Since...
AbstractClassical automated theorem proving of today is based on ingenious search techniques to find...
AbstractWe present a constructive description of the automatic program synthesis method used in the ...
AbstractWe present a detailed review of the elements of automated theorem proving, emphasizing certa...
: It is widely believed that in principle it's possible to reduce most of present-day mathemati...
AbstractWe present a brief survey of the methods and systems for automation of synthesis of formulat...
AbstractAn approach to the synthesis of technological processes is proposed. Technological knowledge...
Systems supporting the manipulation of non-trivial program code are complex and are at best semi-aut...
In this thesis we deal with the problem of automatic proving (or disproving) mathematical conjecture...
AbstractRecently, we proposed a systematic method for top-down synthesis and verification of lemmata...
The use of *proof plans* -- formal patterns of reasoning for theorem proving -- to control the (auto...
AbstractStarting from the system PRIZ, the method of automatic program synthesis is used in AI syste...
131 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1983.This thesis contains two part...
We describe a formalization of the meta-mathematics of programming in a higher-order logical calculu...
AbstractTheorema is a project that aims at supporting the entire process of mathematical theory expl...
The idea of mechanizing reasoning is an old dream that can be traced at least back to Leibniz. Since...
AbstractClassical automated theorem proving of today is based on ingenious search techniques to find...
AbstractWe present a constructive description of the automatic program synthesis method used in the ...
AbstractWe present a detailed review of the elements of automated theorem proving, emphasizing certa...
: It is widely believed that in principle it's possible to reduce most of present-day mathemati...
DOI
Add to ORKG