On Discovering and Proving of Some Theorems in Geometry
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A12410%2F01%3A00003050" target="_blank" >RIV/60076658:12410/01:00003050 - 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
On Discovering and Proving of Some Theorems in Geometry
Popis výsledku v původním jazyce
The mathematical software Co Coa is used by proving and discovering theorems from planimetry. The example os Ptolemy´s theorem shows, how important comlete assumptions of the theorem for proving it is.
Název v anglickém jazyce
On Discovering and Proving of Some Theorems in Geometry
Popis výsledku anglicky
The mathematical software Co Coa is used by proving and discovering theorems from planimetry. The example os Ptolemy´s theorem shows, how important comlete assumptions of the theorem for proving it is.
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
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2001
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
Univ. S. Boh. Dept. Math. Rep. Ser.
ISSN
80-7040-532-5
e-ISSN
—
Svazek periodika
9
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
CZ - Česká republika
Počet stran výsledku
8
Strana od-do
1-8
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—