Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Difeomorfizmi ploskev
Job Petrovčič, Sašo Strle
Diplomsko delo
Oznake: matematika;geometrijska topologija;ploskve;homeomorfizmi;difeomorfizmi;homotopije;izotopije;grupa razredov preslikav;minimalna pozicija zank;fundamentalne grupe;Dehnov zasuk;Alexandrova metoda;končno generirane grupe;svežnji;Birmanovo eksaktno zaporedje;kompleks zank;
V uvodu je predstavljen pojem homotopije in izotopije. Delo obravnava zanke, fundamentalno grupo, geometrijsko število presečišč in dvokotniški kriterij. Definirana je grupa razredov preslikav. Ta grupa je določena za disk, enkrat preboden disk, kolobar, torus in enkrat preboden torus. Predstavljena ...
Leto: 2023 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Machine learning for theorem proving in Lean
Job Petrovčič, Ljupčo Todorovski, David E. Narváez
Magistrsko delo
Oznake: formal theorem proving;Lean 4;reinforcement learning;graph neural networks;premise selection;formal mathematical libraries;
This thesis develops machine learning methods to address bottlenecks in automated theorem proving within the Lean 4 proof assistant, investigating two levels of abstraction: foundational kernel expressions and high-level proof states and tactics. These approaches are first contextualized by an expos ...
Leto: 2026 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: