. "1" . . "[4FFEF6F9D937]" . "105-110" . "RIV/60076658:_____/02:00004240!RIV/2003/MSM/120003/N" . "80-7040-596-1" . . "10" . . . "automatick\u00E9 dokazov\u00E1n\u00ED v\u011Bt, eliminace prom\u011Bnn\u00FDch"@en . . "Automatic discovery of theorems by computer"@en . "1"^^ . . "0"^^ . "1"^^ . "0"^^ . "Automatick\u00E9 objevov\u00E1n\u00ED v\u011Bt pomoc\u00ED po\u010D\u00EDta\u010De" . . . "Pomoc\u00ED zn\u00E1m\u00FDch algoritm\u016F komutativn\u00ED algebry a algebraick\u00E9 geometrie je pod\u00E1n dal\u0161\u00ED zp\u016Fsob vyu\u017Eit\u00ED teorie automatick\u00E9ho dokazov\u00E1n\u00ED v\u011Bt element\u00E1rn\u00ED geometrie. B\u011B\u017En\u00FD zp\u016Fsob automatick\u00E9ho dokazov\u00E1n\u00ED v\u011Bt si klade za c\u00EDl potvrzen\u00ED \u010Di vyvr\u00E1cen\u00ED hypot\u00E9zy pomoc\u00ED po\u010D\u00EDta\u010De. V p\u0159edlo\u017Een\u00E9m \u010Dl\u00E1nku je kladen d\u016Fraz na objevov\u00E1n\u00ED tvrzen\u00ED"@en . "RIV/60076658:_____/02:00004240" . "Automatick\u00E9 objevov\u00E1n\u00ED v\u011Bt pomoc\u00ED po\u010D\u00EDta\u010De"@cs . "Pech, Pavel" . "Z(MSM 124100006)" . "Automatic discovery of theorems by computer"@en . . "Pomoc\u00ED zn\u00E1m\u00FDch algoritm\u016F komutativn\u00ED algebry a algebraick\u00E9 geometrie je pod\u00E1n dal\u0161\u00ED zp\u016Fsob vyu\u017Eit\u00ED teorie automatick\u00E9ho dokazov\u00E1n\u00ED v\u011Bt element\u00E1rn\u00ED geometrie. B\u011B\u017En\u00FD zp\u016Fsob automatick\u00E9ho dokazov\u00E1n\u00ED v\u011Bt si klade za c\u00EDl potvrzen\u00ED \u010Di vyvr\u00E1cen\u00ED hypot\u00E9zy pomoc\u00ED po\u010D\u00EDta\u010De. V p\u0159edlo\u017Een\u00E9m \u010Dl\u00E1nku je kladen d\u016Fraz na objevov\u00E1n\u00ED tvrzen\u00ED" . "639242" . . "Automatick\u00E9 objevov\u00E1n\u00ED v\u011Bt pomoc\u00ED po\u010D\u00EDta\u010De" . "6"^^ . "CZ - \u010Cesk\u00E1 republika" . "Univ. S. Boh. Dept. Math. Rep. Ser." . . "Automatick\u00E9 objevov\u00E1n\u00ED v\u011Bt pomoc\u00ED po\u010D\u00EDta\u010De"@cs . . .