Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A12410%2F06%3A00008556" target="_blank" >RIV/60076658:12410/06:00008556 - 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
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides
Popis výsledku v původním jazyce
The formula for the area of a cyclic pentagon in terms of its side lengths using the method of Grőbner bases computation in automated theorem proving is given. Anglicky: The formula for the area of a cyclic pentagon in terms of its side lengths using themethod of Grőbner bases computation in automated theorem proving is given.
Název v anglickém jazyce
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides
Popis výsledku anglicky
The formula for the area of a cyclic pentagon in terms of its side lengths using the method of Grőbner bases computation in automated theorem proving is given. Anglicky: The formula for the area of a cyclic pentagon in terms of its side lengths using themethod of Grőbner bases computation in automated theorem proving is given.
Klasifikace
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
—
Návaznosti výsledku
Projekt
—
Návaznosti
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Ostatní
Rok uplatnění
2006
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
Lecture Notes in Artificial Intelligence
ISSN
0302-9743
e-ISSN
—
Svazek periodika
1
Číslo periodika v rámci svazku
3763
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
15
Strana od-do
44-58
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—