Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides
Original language description
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.
Czech name
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides
Czech description
Je studována formule pro obsah cyklického pětiúhelníka metodou Grőbnerových bází v teorii automatického dokazování vět.
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Lecture Notes in Artificial Intelligence
ISSN
0302-9743
e-ISSN
—
Volume of the periodical
1
Issue of the periodical within the volume
3763
Country of publishing house
DE - GERMANY
Number of pages
15
Pages from-to
44-58
UT code for WoS article
—
EID of the result in the Scopus database
—