Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 1
Formalization of the structure sheaf of a ring spectrum
Maša Žaucer, Andrej Bauer, Egbert Rijke
Diplomsko delo
Oznake: dependent type theory;constructive mathematics;formalization;Zariski locale;structure sheaf;
With the development of proof assistants, the demand on formalization of different fields of mathematics is increasing. The aim of the thesis is to develop the theory of the structure sheaf of a ring spectrum in a constructive context in order to formalize it in Agda proof assistant, based on unival ...
Leto: 2024 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 1
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: