Zobrazeno 1 - 10
of 151
pro vyhledávání: '"Computer theorem-proving"'
Autor:
Simpson, Carlos T.
We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, June 2003).
Externí odkaz:
http://arxiv.org/abs/math/0311260
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018.
This paper concerns theorem proving in some extended logic. As the core part of this work the computer application implementing Wiśniewski’s logic has been developed. The article begins with the presentation of logic syntax and semantics. The next
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68c79decbfdabe8ce2866a98096be68c
https://doi.org/10.1117/12.2501599
https://doi.org/10.1117/12.2501599
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Joe Leslie-Hurd, G. McC. Haworth
Publikováno v:
ICGA Journal. 36:100-103
Theorem-proving is a one-player game. The history of computer programs being the players goes back to 1956 and the ‘LT’ LOGIC THEORY MACHINE of Newell, Shaw and Simon. In game-playing terms, the ‘initial position’ is the core set of axioms ch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b0f64dcc567e07a88c5f506c3639f28a
https://doi.org/10.3233/icg-2013-36204
https://doi.org/10.3233/icg-2013-36204
Publikováno v:
Proceedings of SPIE; October 2018, Vol. 10808 Issue: 1 p108082L-108082L-15, 10700134p
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Carlos Simpson
Publikováno v:
Letters in Mathematical Physics. 69:287-315
We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This includes the basic reasons why it should be interesting to pure mathematicians, some history, natural desiderata for a useful
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c9067186ea32825c59ddabceeafc960c
https://doi.org/10.1007/s11005-004-0607-9
https://doi.org/10.1007/s11005-004-0607-9
Publikováno v:
Automated Deduction in Geometry ISBN: 9783319213613
ADG
ADG
Over the last sixty years, a number of methods for automated theorem proving in geometry, especially Euclidean geometry, have been developed. Almost all of them focus on universally quantified theorems. On the other hand, there are only few studies a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3acbd8af3ad3e1f1137d3fc0e6882101
https://doi.org/10.1007/978-3-319-21362-0_5
https://doi.org/10.1007/978-3-319-21362-0_5
Autor:
Simpson, Carlos
We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, June 2003).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7944f5533a3e382686a92ca70b9248b8
https://hal.archives-ouvertes.fr/hal-00000842
https://hal.archives-ouvertes.fr/hal-00000842