Elimination of Variables as a Proof Technique

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

Jazyk výsledku
angličtina
Název v původním jazyce
Elimination of Variables as a Proof Technique
Popis výsledku v původním jazyce
Teorie automatického dokazování vět je užita v elementární geometrii. 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
Elimination of Variables as a Proof Technique
Popis výsledku anglicky
Teorie automatického dokazování vět je užita v elementární geometrii. 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

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

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ů

Podobné výsledky(10)