Hlavní stránka > Výsledky hledání: keywords:"computer-assisted proof"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Lineární kódy a projektivní rovina řádu 10
 Liška, Ondřej ; Drápal, Aleš (vedoucí práce) ; Vojtěchovský, Petr (oponent)
Projektivní rovina řádu 10 neexistuje. Důkaz tohoto tvrzení byl dokončen v roce 1989 a opírá se o neexistenci binárního kódu C generovaného incidenčními vektory jejích přímek. V rámci důkazu neexistence kódu C se s využitím počítačových výpočtů zkoumalo, jak by vypadaly koeficienty váhového polynomu tohoto kódu. Postupně se ukázalo, že koeficienty A12, A15, A16 a A19 musí být nulové, což ale bylo ve sporu s dalšími poznatky o vztazích mezi jednotlivými koeficienty. Předložená diplomová práce podrobně rozebírá jednotlivé fáze důkazu a v některých bodech je doplňuje novými postřehy a zjednodušeními. Část důkazu je zobecněna pro projektivní roviny řádu 8m + 2. 1
Úplný záznam
Lineární kódy a projektivní rovina řádu 10
 Liška, Ondřej ; Drápal, Aleš (vedoucí práce) ; Vojtěchovský, Petr (oponent)
Projektivní rovina řádu 10 neexistuje. Důkaz tohoto tvrzení byl dokončen v roce 1989 a opírá se o neexistenci binárního kódu C generovaného incidenčními vektory jejích přímek. V rámci důkazu neexistence kódu C se s využitím počítačových výpočtů zkoumalo, jak by vypadaly koeficienty váhového polynomu tohoto kódu. Postupně se ukázalo, že koeficienty A12, A15, A16 a A19 musí být nulové, což ale bylo ve sporu s dalšími poznatky o vztazích mezi jednotlivými koeficienty. Předložená diplomová práce podrobně rozebírá jednotlivé fáze důkazu a v některých bodech je doplňuje novými postřehy a zjednodušeními. Část důkazu je zobecněna pro projektivní roviny řádu 8m + 2. 1
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English