"656411" . . . . "0"^^ . "Pech, Pavel" . . "Objevov\u00E1n\u00ED v\u011Bt z geometrie pomoc\u00ED po\u010D\u00EDta\u010De" . "0"^^ . "2"^^ . "2002-06-05+02:00"^^ . "Buchberger's algorithm, area of polygons"@en . . . "Sborn\u00EDk p\u0159edn\u00E1\u0161ek a program\u016F z 8. ro\u010Dn\u00EDku mezin\u00E1rodn\u00ED konference Pedagogick\u00FD software 2002" . "1"^^ . . "Pomoc\u00ED algoritm\u016F po\u010D\u00EDta\u010Dov\u00E9 algebry je dok\u00E1z\u00E1na a (znovu)objevena zn\u00E1m\u00E1 Heronova a Brahmaguptova formule pro v\u00FDpo\u010Det obsahu troj\u00FAheln\u00EDka a t\u011Btivov\u00E9ho \u010Dty\u0159\u00FAheln\u00EDka" . "Objevov\u00E1n\u00ED v\u011Bt z geometrie pomoc\u00ED po\u010D\u00EDta\u010De"@cs . "\u010Cesk\u00E9 Bud\u011Bjovice" . . "Discovery of theorems from geometry by computer Discovery of theorems from geometry by computer Discovery of theorems from geometry by computer"@en . "\u010Cesk\u00E9 Bud\u011Bjovice" . "Objevov\u00E1n\u00ED v\u011Bt z geometrie pomoc\u00ED po\u010D\u00EDta\u010De" . "80-85645-46-7" . . "Discovery of theorems from geometry by computer Discovery of theorems from geometry by computer Discovery of theorems from geometry by computer"@en . . . . "Z(MSM 124100006)" . "By means of algorithms of computer algebra well-known Heron and Brahmagupta formulas for the area of a triangle and cyclic quadrangle are proved and (re)discovered"@en . . "Scientific Pedagogical Publishing, \u010Cesk\u00E9 Bud\u011Bjovice" . "RIV/60076658:_____/02:00004249" . "[018DBAB2C7EB]" . "RIV/60076658:_____/02:00004249!RIV/2003/MSM/120003/N" . . . "Hora, Jan" . "36" . "Objevov\u00E1n\u00ED v\u011Bt z geometrie pomoc\u00ED po\u010D\u00EDta\u010De"@cs . "1"^^ .