Essays about: "Olle Torstensson"

Found 2 essays containing the words Olle Torstensson.

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

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Olle Torstensson; [2021]
   Keywords : ;

   Abstract : 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. READ MORE

3. 2. Model theory of algebraically closed fields

   University essay from Uppsala universitet/Algebra och geometri

   Author : Olle Torstensson; [2017]
   Keywords : ;

   Abstract : .... READ MORE