"Je pod\u00E1n p\u0159ehled o pou\u017Eit\u00ED metod po\u010D\u00EDta\u010Dov\u00E9 algebry p\u0159i \u0159e\u0161en\u00ED probl\u00E9m\u016F."@cs . . "Proving and discovering theorems in geometry by computer algebra methods"@en . . "Z(MSM 124100006)" . . . "Dokazov\u00E1n\u00ED a objevov\u00E1n\u00ED v\u011Bt v geometrii pomoc\u00ED metod po\u010D\u00EDta\u010Dov\u00E9 algebry"@cs . . "A survey of the use of computer algebra methods in solving problems is given."@en . "RIV/60076658:12410/05:00006406" . "Matematika-fyzika-informatika" . "Dokazov\u00E1n\u00ED a objevov\u00E1n\u00ED v\u011Bt v geometrii pomoc\u00ED metod po\u010D\u00EDta\u010Dov\u00E9 algebry"@cs . "RIV/60076658:12410/05:00006406!RIV06-MSM-12410___" . "1"^^ . "20"^^ . "1210-1761" . "1" . . "1"^^ . . . "15" . "Proving and discovering theorems in geometry by computer algebra methods"@en . "Dokazov\u00E1n\u00ED a objevov\u00E1n\u00ED v\u011Bt v geometrii pomoc\u00ED metod po\u010D\u00EDta\u010Dov\u00E9 algebry" . "Proving theorems; computer algebra"@en . . "[F5749DBC7726]" . . "Pech, Pavel" . "518560" . . "12410" . . "Dokazov\u00E1n\u00ED a objevov\u00E1n\u00ED v\u011Bt v geometrii pomoc\u00ED metod po\u010D\u00EDta\u010Dov\u00E9 algebry" . "295-308, 369-374" . "CZ - \u010Cesk\u00E1 republika" . . . "Je pod\u00E1n p\u0159ehled o pou\u017Eit\u00ED metod po\u010D\u00EDta\u010Dov\u00E9 algebry p\u0159i \u0159e\u0161en\u00ED probl\u00E9m\u016F." .