A Cubical Formalisation of Cohomology Theory and π4(S3) ≅ Z/2Z

Författare: Axel Ljungström; Anders Mörtberg; Eric Finster; Stockholms Universitet; []

Nyckelord: NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Homotopy Type Theory; Cohomology; Formalisation;

Sammanfattning:

  KLICKA HÄR FÖR ATT SE AVHANDLINGEN I FULLTEXT. (PDF-format)