. "J\u010CMF, Z\u010CU Plze\u0148" . "636493" . "[7B78DE1ECD20]" . . . "12410" . . "RIV/60076658:12410/03:00004663" . "163-168" . "Z(MSM 124100006)" . "Pech, Pavel" . "Mno\u017Eina bod\u016F v rovin\u011B takov\u00FDch, \u017Ee pr\u016Fse\u010D\u00EDky p\u0159\u00EDmek, veden\u00FDch z dan\u00E9ho bodu t\u0159emi pevn\u011B dan\u00FDmi sm\u011Bry, se stranami troj\u00FAheln\u00EDka tvo\u0159\u00ED troj\u00FAheln\u00EDk konstantn\u00EDho obsahu, je ku\u017Eelose\u010Dka. Jsou zkoum\u00E1ny vlastnosti t\u00E9to ku\u017Eelose\u010Dky. V\u00FDpo\u010Det je proveden pomoc\u00ED teorie automatick\u00E9ho dokazov\u00E1n\u00ED a objevov\u00E1n\u00ED v\u011Bt"@en . . "2003-09-08+02:00"^^ . "Mno\u017Eina bod\u016F v rovin\u011B takov\u00FDch, \u017Ee pr\u016Fse\u010D\u00EDky p\u0159\u00EDmek, veden\u00FDch z dan\u00E9ho bodu t\u0159emi pevn\u011B dan\u00FDmi sm\u011Bry, se stranami troj\u00FAheln\u00EDka tvo\u0159\u00ED troj\u00FAheln\u00EDk konstantn\u00EDho obsahu, je ku\u017Eelose\u010Dka. Jsou zkoum\u00E1ny vlastnosti t\u00E9to ku\u017Eelose\u010Dky. V\u00FDpo\u010Det je proveden pomoc\u00ED teorie automatick\u00E9ho dokazov\u00E1n\u00ED a objevov\u00E1n\u00ED v\u011Bt" . "80-7082-943-5" . . "0"^^ . "6"^^ . "1"^^ . "0"^^ . "Zobecn\u011Bn\u00ED Simsonovy v\u011Bty" . "1"^^ . . "RIV/60076658:12410/03:00004663!RIV/2004/MSM/124104/N" . "Zobecn\u011Bn\u00ED Simsonovy v\u011Bty" . . . "Zobecn\u011Bn\u00ED Simsonovy v\u011Bty"@en . . "Zobecn\u011Bn\u00ED Simsonovy v\u011Bty"@en . "Plze\u0148" . . "Plze\u0148" . . . "Z\u00E1pado\u010Desk\u00E1 univerzita v Plzni" . . "Simson theorem"@en .