Blar i Department of Informatics på emneord "VDP::Matematikk og Naturvitenskap: 400::Matematikk: 410"
Viser treff 1-2 av 2
-
Case Studies in Constructive Mathematics
(Doctoral thesis, 2016-01-22)The common theme in this thesis is the study of constructive provability: in particular we investigate aspects of finite sets and Kan simplicial sets from a constructive perspective. There are numerous definitions of finiteness ... -
A minimum requiring angle trisection
(Peer reviewed; Journal article, 2009)