Automated Derivation of Geometry Theorems

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A12410%2F12%3A43884529" target="_blank" >RIV/60076658:12410/12:43884529 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Automated Derivation of Geometry Theorems
Popis výsledku v původním jazyce
Derivation of geometry theorems by computer belongs to mighty tools of automated theorem proving. By elimination of suitable variables in the system of algebraic equations describing a geometric situation we get required formulas. The power of derivationis presented on computation of the area of planar polygons given by their lengths of sides and diagonals. This part we conclude with derivation of a formula of Robbins for the area of a cyclic pentagon given by its side lengths. Searching for loci of points of given properties is a special case of derivation. We demonstrate it in a few examples.
Název v anglickém jazyce
Automated Derivation of Geometry Theorems
Popis výsledku anglicky
Derivation of geometry theorems by computer belongs to mighty tools of automated theorem proving. By elimination of suitable variables in the system of algebraic equations describing a geometric situation we get required formulas. The power of derivationis presented on computation of the area of planar polygons given by their lengths of sides and diagonals. This part we conclude with derivation of a formula of Robbins for the area of a cyclic pentagon given by its side lengths. Searching for loci of points of given properties is a special case of derivation. We demonstrate it in a few examples.

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
—

Rok uplatnění
2012
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)