Sökning: "Daniel Cook"

Hittade 2 uppsatser innehållade orden Daniel Cook.

1. 1. BLUE GAS

   Master-uppsats, Lunds universitet/Industridesign

   Författare :Jeff Daniel Bennett; [2020]
   Nyckelord :Arts and Architecture; Technology and Engineering;

   Sammanfattning : For a city and culture that excels at adding value to waste, Kisumu struggles with a systematic approach for solid-waste management. Food and animal wastes run rampant in the streets while families still cook for hoursevery day using harmful fuels like kerosene, charcoal and firewood. LÄS MER

3. 2. 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 informationsteknik

   Författare :Jesper Andersson; Åsa Lideström; Daniel Oom; Anders Sjöberg; Niclas Ståhl; [2014-10-02]
   Nyckelord :;

   Sammanfattning : 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