. "Discovering Theorems by Computer" . "Discovering Theorems by Computer"@en . "Slovensk\u00E1 technick\u00E1 univerzita v Bratislave" . "algorithms of computer algebra, discovery of theorems, elimination of variables"@en . "4"^^ . "RIV/60076658:_____/02:00004242" . . . . "1"^^ . "Discovering Theorems by Computer"@en . . "Z(MSM 124100006)" . . "Bratislava" . "643298" . . "Ko\u010Dovce" . . . . "67-70" . . "[0203096A05B0]" . "RIV/60076658:_____/02:00004242!RIV/2003/MSM/120003/N" . "Proceedings of Symposium on Computational Geometry SCG\u00B42002" . . . . "Pech, Pavel" . "\u010Cl\u00E1nek pojedn\u00E1v\u00E1 o automatick\u00E9m dokazov\u00E1n\u00ED v\u011Bt. B\u011B\u017En\u00FD zp\u016Fsob u\u017Eit\u00ED t\u00E9to teorie spo\u010D\u00EDv\u00E1 v dokaz\u00E1n\u00ED \u010Di vyvr\u00E1cen\u00ED n\u011Bjak\u00E9ho tvrzen\u00ED element\u00E1rn\u00ED geometrie. V tomto p\u0159\u00EDsp\u011Bvku je zd\u016Frazn\u011Bno objevov\u00E1n\u00ED v\u011Bt, \u010D\u00EDm\u017E je my\u0161leno hled\u00E1n\u00ED dodate\u010Dn\u00FDch p\u0159edpoklad\u016F, kter\u00E9 je nutn\u00E9 p\u0159idat ke geometrick\u00E9mu tvrzen\u00ED (kter\u00E9 obecn\u011B neplat\u00ED) tak aby dan\u00E9 tvrzen\u00ED platilo. Hlavn\u00EDm prost\u0159edkem je proces eliminace prom\u011Bnn\u00FDch. Jsou vy\u0161et\u0159ov\u00E1ny n\u011Bkter\u00E9 formule z geometrie troj\u00FAheln\u00EDka a \u010Dty\u0159\u00FAheln\u00EDka." . . . "2002-09-09+02:00"^^ . "Discovering Theorems by Computer" . "\u010Cl\u00E1nek pojedn\u00E1v\u00E1 o automatick\u00E9m dokazov\u00E1n\u00ED v\u011Bt. B\u011B\u017En\u00FD zp\u016Fsob u\u017Eit\u00ED t\u00E9to teorie spo\u010D\u00EDv\u00E1 v dokaz\u00E1n\u00ED \u010Di vyvr\u00E1cen\u00ED n\u011Bjak\u00E9ho tvrzen\u00ED element\u00E1rn\u00ED geometrie. V tomto p\u0159\u00EDsp\u011Bvku je zd\u016Frazn\u011Bno objevov\u00E1n\u00ED v\u011Bt, \u010D\u00EDm\u017E je my\u0161leno hled\u00E1n\u00ED dodate\u010Dn\u00FDch p\u0159edpoklad\u016F, kter\u00E9 je nutn\u00E9 p\u0159idat ke geometrick\u00E9mu tvrzen\u00ED (kter\u00E9 obecn\u011B neplat\u00ED) tak aby dan\u00E9 tvrzen\u00ED platilo. Hlavn\u00EDm prost\u0159edkem je proces eliminace prom\u011Bnn\u00FDch. Jsou vy\u0161et\u0159ov\u00E1ny n\u011Bkter\u00E9 formule z geometrie troj\u00FAheln\u00EDka a \u010Dty\u0159\u00FAheln\u00EDka."@en . "0"^^ . "1"^^ . "0"^^ . "80-227-1773-8" .