Sökning: "Anders Thompson"
Hittade 2 uppsatser innehållade orden Anders Thompson.
1. Fält- och flygbildsskattning av i skogen kvarvarande virkesvolymer i Medelpad efter 2010-talets stormar
Uppsats för yrkesexamina på avancerad nivå, SLU/Dept. of Forest Resource ManagementSammanfattning : Att snabbt kunna skatta hur mycket virkesvolymer i form av lågor det finns i skogen efter en storm är viktigt för att få en bild av skadeläget. Dessutom är det av intresse gällande biologisk mångfald, förluster i virkesintäkter samt för bedömning av risk för framtida angrepp av skadeinsekter. LÄS MER
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 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