Discovering Theorems by Computer

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A_____%2F02%3A00004242" target="_blank" >RIV/60076658:_____/02:00004242 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Discovering Theorems by Computer
Popis výsledku v původním jazyce
Článek pojednává o automatickém dokazování vět. Běžný způsob užití této teorie spočívá v dokazání či vyvrácení nějakého tvrzení elementární geometrie. V tomto příspěvku je zdůrazněno objevování vět, čímž je myšleno hledání dodatečných předpokladů, kteréje nutné přidat ke geometrickému tvrzení (které obecně neplatí) tak aby dané tvrzení platilo. Hlavním prostředkem je proces eliminace proměnných. Jsou vyšetřovány některé formule z geometrie trojúhelníka a čtyřúhelníka.
Název v anglickém jazyce
Discovering Theorems by Computer
Popis výsledku anglicky
Článek pojednává o automatickém dokazování vět. Běžný způsob užití této teorie spočívá v dokazání či vyvrácení nějakého tvrzení elementární geometrie. V tomto příspěvku je zdůrazněno objevování vět, čímž je myšleno hledání dodatečných předpokladů, kteréje nutné přidat ke geometrickému tvrzení (které obecně neplatí) tak aby dané tvrzení platilo. Hlavním prostředkem je proces eliminace proměnných. Jsou vyšetřovány některé formule z geometrie trojúhelníka a čtyřúhelníka.

Rok uplatnění
2002
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ů

Název statě ve sborníku
Proceedings of Symposium on Computational Geometry SCG´2002
ISBN
80-227-1773-8
ISSN
—
e-ISSN
—
Počet stran výsledku
4
Strana od-do
67-70
Název nakladatele
TU Bratislava
Místo vydání
Bratislava
Místo konání akce
Kočovce
Datum konání akce
9. 9. 2002
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—

Podobné výsledky(10)