"RIV/60076658:12410/01:00003050!RIV/2002/MSM/124102/N" . . "Buchberger's algoritm"@en . "1"^^ . "689863" . . "The mathematical software Co Coa is used by proving and discovering theorems from planimetry. The example os Ptolemy\u00B4s theorem shows, how important comlete assumptions of the theorem for proving it is." . "[F634D7CEE5F8]" . "On Discovering and Proving of Some Theorems in Geometry"@en . "1-8" . "Univ. S. Boh. Dept. Math. Rep. Ser." . "1" . "The mathematical software Co Coa is used by proving and discovering theorems from planimetry. The example os Ptolemy\u00B4s theorem shows, how important comlete assumptions of the theorem for proving it is."@en . "RIV/60076658:12410/01:00003050" . . "Z(MSM 124100006)" . "9" . "8"^^ . "80-7040-532-5" . . . . "12410" . . "On Discovering and Proving of Some Theorems in Geometry"@en . . . "CZ - \u010Cesk\u00E1 republika" . . . . "On Discovering and Proving of Some Theorems in Geometry" . "On Discovering and Proving of Some Theorems in Geometry" . "Hora, Jaroslav" . "0"^^ . "2"^^ . "Pech, Pavel" . "0"^^ . .