Sökning: "Applications of constructive algebra"

Hittade 5 avhandlingar innehållade orden Applications of constructive algebra.

  1. 1. Applications of Constructive Algebra to Control Problems

    Författare :Krister Forsman; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Applications of constructive algebra;

    Sammanfattning : Constructive algebra consists in solving algebraic problems algorithmically. This thesis consists of two parts; In the first part constructive methods in commutitaive and differential algebra are presented and then compared. LÄS MER

  3. 2. Constructive Algebra in Type Theory

    Författare :Anders Mörtberg; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER

  4. 3. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

    Författare :Andrea Vezzosi; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Conversion; Parametricity; Higher Inductive Types; Sized Types; Dependent Types; Type Theory; Guarded Types;

    Sammanfattning : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. LÄS MER

  5. 4. Constructive Commutative Algebra in Nonlinear Control Theory

    Författare :Krister Forsman; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : This thesis consists of two parts. The first part is a short review of those results from commutative algebra, algebraic geometry and differential algebra that are needed in this work. The emphasis is on constructive methods. The second part contains applications of these methods to topics in control theory, mainly nonlinear systems. LÄS MER

  7. 5. Methods, Algorithms and Tools for System Identification Based on Prior Knowledge

    Författare :Peter Lindskog; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : One of the most challenging problems in system identification is that of model structure selection. In this thesis we investigate how three different kinds of prior process knowledge can be utilized to deal with this fundamental issue.The material is presented in four parts. LÄS MER