Search for dissertations about: "SSReflect"

Found 2 swedish dissertations containing the word SSReflect.

2. 1. Formalizing Refinements and Constructive Algebra in Type Theory

   Author : Anders Mörtberg; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formalization of mathematics; refinements; constructive algebra; type theory; Coq; SSReflect;

   Abstract : The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally verify that the implementations satisfy the mathematical theorems stating their specification. READ MORE

4. 2. Constructive Algebra in Type Theory

   Author : Anders Mörtberg; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This thesis contains four papers aiming at bridging the gap between algorithms implemented in computer algebra systems and interactive proof assistants. This is done by implementing and verifying efficient algorithms using the Coq proof assistant together with the SSReflect extension. READ MORE