On Proving and Discovering Theorems by Computer
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A12410%2F11%3A43882733" target="_blank" >RIV/60076658:12410/11:43882733 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On Proving and Discovering Theorems by Computer
Popis výsledku v původním jazyce
Proofs of mathematics theorems belong to the most difficult part of mathematics. In this paper, basic methods of computer supported discovery and proving are shown. Both DGS and CAS will be used. With DGS we describe a problem and verify some related conjectures. With CAS we do rigorous proofs. The theory of automated geometry theorem proving is demonstrated with examples.
Název v anglickém jazyce
On Proving and Discovering Theorems by Computer
Popis výsledku anglicky
Proofs of mathematics theorems belong to the most difficult part of mathematics. In this paper, basic methods of computer supported discovery and proving are shown. Both DGS and CAS will be used. With DGS we describe a problem and verify some related conjectures. With CAS we do rigorous proofs. The theory of automated geometry theorem proving is demonstrated with examples.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
AM - Pedagogika a školství
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2011
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Electronic Journal of Mathematics & Technology
ISSN
1933-2823
e-ISSN
—
Svazek periodika
5
Číslo periodika v rámci svazku
2
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
25
Strana od-do
1-25
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—