Sökning: "Jesper Sjöberg"
Visar resultat 6 - 7 av 7 uppsatser innehållade orden Jesper Sjöberg.
6. 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
7. En omdesign av Migrationsverkets webbplats : Att öka användandet av en funktion utan att försämra användbarheten i stort
Kandidat-uppsats, Institutionen för datavetenskap; Tekniska högskolanSammanfattning : Användningen av internet breder ut sig mer och mer i dagens samhälle och finns tillgängligt på många platser i världen med över 2,7 miljarder användare. Att anpassa en webbdesign för människor från alla världens hörn kan vara en utmaning. LÄS MER