Sökning: "Olle Torstensson"

Hittade 2 uppsatser innehållade orden Olle Torstensson.

1. 1. Oracle Integration of Floating-Point Solvers with Isabelle

   Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Olle Torstensson; [2021]
   Nyckelord :;

   Sammanfattning : Interactivity is both a blessing and a curse in theorem proving; withgreat power comes great time consumption and labor. It is therefore crucial to increase proof automation in interactive proof assistants. LÄS MER

3. 2. Model theory of algebraically closed fields

   Kandidat-uppsats, Uppsala universitet/Algebra och geometri

   Författare :Olle Torstensson; [2017]
   Nyckelord :;

   Sammanfattning : .... LÄS MER