Sökning: "Eric Finster"

Hittade 1 avhandling innehållade orden Eric Finster.

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

   Författare :Axel Ljungström; Anders Mörtberg; Eric Finster; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Homotopy Type Theory; Cohomology; Formalisation;

   Sammanfattning : .... LÄS MER