Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Preverjanje kromatičnega števila grafov z dokazovalnim pomočnikom Lean
Gregor Kikelj, Andrej Bauer, Katja Berčič
Diplomsko delo
Oznake: Lean;Lean 4;grafi;kromatično število;
V dokazovalniku in programskem jeziku Lean 4 formaliziramo osnove teorije grafov, barvanj in kromatičnega števila. Implementiramo tudi dokazano pravilen algoritem za računanje kromatičnega števila ter analiziramo čas izvajanja. Na koncu implementiramo in dokažemo pravilnost algoritma za preverjanje ...
Leto: 2024 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Pipistrel Taurus G4
Tine Tomažič, Vid Plevnik, Gregor Veble, Jure Tomažič, Franc Popit, Sašo Kolar, Rado Kikelj, Jacob W. Langelaan, Kirk Miles
Izvirni znanstveni članek
Oznake: električna letala;konstrukcija;učinkovitost;modeliranje zmogljivosti;poskusi letenja;
Pipistrel Taurus G4
Leto: 2011 Vir: Repozitorij Univerze v Novi Gorici (RUNG)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: