"About computer proofs of inequalities using software package Bottema"@en . "656309" . . "About computer proofs of inequalities using software package Bottema"@en . . . . "The objective of the article is to persuade the people, that there exist computer packages which enables to carry out %22computer proofs%22 of theorems of school geometry or to prove different types of inequalities. Some inequalities of elementary geometry are proved"@en . "CZ - \u010Cesk\u00E1 republika" . . "1" . . "1"^^ . . . "0"^^ . "0"^^ . "2"^^ . . "RIV/60076658:_____/02:00004245!RIV/2003/MSM/120003/N" . . . "5"^^ . "O po\u010D\u00EDta\u010Dov\u00FDch d\u016Fkazech nerovnost\u00ED s vyu\u017Eit\u00EDm programov\u00E9ho bal\u00ED\u010Dku Bottema"@cs . "Univ. S. Boh. Dept. Math. Rep." . . "O po\u010D\u00EDta\u010Dov\u00FDch d\u016Fkazech nerovnost\u00ED s vyu\u017Eit\u00EDm programov\u00E9ho bal\u00ED\u010Dku Bottema"@cs . "31-35" . "O po\u010D\u00EDta\u010Dov\u00FDch d\u016Fkazech nerovnost\u00ED s vyu\u017Eit\u00EDm programov\u00E9ho bal\u00ED\u010Dku Bottema" . "[87A63C91E9FE]" . "80-7040-596-1" . "10" . "Ernestov\u00E1, M." . "O po\u010D\u00EDta\u010Dov\u00FDch d\u016Fkazech nerovnost\u00ED s vyu\u017Eit\u00EDm programov\u00E9ho bal\u00ED\u010Dku Bottema" . "C\u00EDlem \u010Dl\u00E1nku je p\u0159esv\u011Bd\u010Dit z\u00E1jemce o tom, \u017Ee existuj\u00ED softwarov\u00E9 bal\u00ED\u010Dky (packages), kter\u00E9 mj. umo\u017E\u0148uj\u00ED prov\u00E1d\u011Bt %22po\u010D\u00EDta\u010Dov\u00E9 d\u016Fkazy%22 \u0159ady v\u011Bt ze \u0161kolsk\u00E9 geometrie nebo dokazovat r\u016Fzn\u00E9 typy nerovnost\u00ED. Pomoc\u00ED bal\u00ED\u010Dku Bottema jsou dok\u00E1z\u00E1ny n\u011Bkter\u00E9 nerovnosti element\u00E1rn\u00ED geometrie" . "\u0159e\u0161en\u00ED nerovnost\u00ED, Collinsova dekompozice"@en . . . "Pech, Pavel" . "Z(MSM 124100006)" . "RIV/60076658:_____/02:00004245" .