Přejít k obsahu


O počítačových důkazech matematických vět

Citace: [] HORA, J. O počítačových důkazech matematických vět. Československý časopis pro fyziku, 2008, roč. 58, č. 6, s. 310-311. ISSN: 0009-0700
Druh: ČLÁNEK
Jazyk publikace: cze
Rok vydání: 2008
Autoři: Jaroslav Hora
Abstrakt CZ: Článek popisuje stručně historii a některé současné možnosti počítačového dokazování matematických vět (počítačová sumace, počítačové důkazy geometrických vět).
Abstrakt EN: This article shortly describes the History of Computer Proving and the current Methods for the Computer Proving of Mathematical Theorems (Gosper Algorithm for the Summation of Series,Computer Proving of Theorems of Elementary Geometry).
Klíčová slova

Zpět

Patička