O počítačových důkazech nerovností s využitím programového balíčku Bottema
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A_____%2F02%3A00004245" target="_blank" >RIV/60076658:_____/02:00004245 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
O počítačových důkazech nerovností s využitím programového balíčku Bottema
Popis výsledku v původním jazyce
Cílem článku je přesvědčit zájemce o tom, že existují softwarové balíčky (packages), které mj. umožňují provádět "počítačové důkazy" řady vět ze školské geometrie nebo dokazovat různé typy nerovností. Pomocí balíčku Bottema jsou dokázány některé nerovnosti elementární geometrie
Název v anglickém jazyce
About computer proofs of inequalities using software package Bottema
Popis výsledku anglicky
The objective of the article is to persuade the people, that there exist computer packages which enables to carry out "computer proofs" of theorems of school geometry or to prove different types of inequalities. Some inequalities of elementary geometry are proved
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í
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ů
Údaje specifické pro druh výsledku
Název periodika
Univ. S. Boh. Dept. Math. Rep.
ISSN
80-7040-596-1
e-ISSN
—
Svazek periodika
10
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
CZ - Česká republika
Počet stran výsledku
5
Strana od-do
31-35
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—