"Vyu\u017Eit\u00ED po\u010D\u00EDta\u010Dov\u00E9ho softwaru Mathematica, Maple p\u0159\u00EDp. jin\u00FDch program\u016F komutativn\u00ED algebry umo\u017E\u0148uje dokazov\u00E1n\u00ED a objevov\u00E1n\u00ED v\u011Bt z geometrie pomoc\u00ED po\u010D\u00EDta\u010De. T\u00EDmto zp\u016Fsobem jsou dok\u00E1z\u00E1ny formule pro obsah troj\u00FAheln\u00EDka a \u010Dty\u0159\u00FAheln\u00EDka v rovin\u011B a dal\u0161\u00ED p\u0159\u00EDbuzn\u00E9 vztahy" . . "Using computer to discover some theorems in geometry" . . "Vyu\u017Eit\u00ED po\u010D\u00EDta\u010Dov\u00E9ho softwaru Mathematica, Maple p\u0159\u00EDp. jin\u00FDch program\u016F komutativn\u00ED algebry umo\u017E\u0148uje dokazov\u00E1n\u00ED a objevov\u00E1n\u00ED v\u011Bt z geometrie pomoc\u00ED po\u010D\u00EDta\u010De. T\u00EDmto zp\u016Fsobem jsou dok\u00E1z\u00E1ny formule pro obsah troj\u00FAheln\u00EDka a \u010Dty\u0159\u00FAheln\u00EDka v rovin\u011B a dal\u0161\u00ED p\u0159\u00EDbuzn\u00E9 vztahy"@en . . "Hora, Jan" . . "1" . "Z(MSM 124100006)" . "1216-6014" . . "proving theorems, discovery, elimination of variables"@en . "HU - Ma\u010Farsko" . . "668124" . "67-75" . . . "RIV/60076658:_____/02:00004250" . "0"^^ . . "0"^^ . "2"^^ . . "1"^^ . . . "RIV/60076658:_____/02:00004250!RIV/2003/MSM/120003/N" . "29" . "Using computer to discover some theorems in geometry"@en . . . "9"^^ . "Using computer to discover some theorems in geometry"@en . "Pech, Pavel" . "Using computer to discover some theorems in geometry" . . "[3ADC6D0E220A]" . "Acta Acad. Paed. Agriensis 29" .