Browsing Department of Informatics by Subject "VDP::Matematikk og Naturvitenskap: 400::Matematikk: 410"

Now showing items 1-2 of 2

    • Case Studies in Constructive Mathematics 

      Parmann, Erik (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 

      Steihaug, Trond; Rogers, D. G. (Peer reviewed; Journal article, 2009)