Sökning: "Åsa Sjöberg Andersson"
Hittade 2 uppsatser innehållade orden Åsa Sjöberg Andersson.
1. Formalisering av Algoritmer och Matematiska Bevis En formalisering av Toom-Cook algoritmen i Coq med SSReflect
Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : Computer-aided formalization of mathematics has progressed in the last decade with the formalization of very large and complex proofs such as the proof of the Four color theorem and the Feit-Thompson theorem. In this report we present a formal proof of the Toom-Cook algorithm using the Coq proof assistant together with the SSReflect extension. LÄS MER
2. Samhällets Sårbarhet för Klimatförändringarna
Kandidat-uppsats, Fakulteten för hälsa, natur- och teknikvetenskap (from 2013)Sammanfattning : The effects of the climate changes are expected to generate several substantial direct and indirect consequences on both ecosystems and societies. It is the extent of the negative consequences that determents the vulnerability of the things or the ones exposed. LÄS MER