Search for dissertations about: "Term Algebras"

Showing result 1 - 5 of 6 swedish dissertations containing the words Term Algebras.

  2. 1. Analysis of Iterative or Recursive Programs Using a First-Order Theorem Prover

    Author : Simon Robillard; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Term Algebras; Automated Theorem Proving; Invariant Generation; Program Verification;

    Abstract : Static analysis of program semantics can be used to provide strong guarantees about the correctness of software systems. In this thesis, we explore ways to perform automated program analysis and verification using a first-order theorem prover. READ MORE

  4. 2. Wheeled Operads in Algebra, Geometry, and Quantization

    Author : Johan Granåker; Sergei A. Merkulov; Andrey Lazarev; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; operads; deformation theory; homotopy algebra; deformation quantization; MATHEMATICS; MATEMATIK; Mathematics; matematik;

    Abstract : The theory of generalized operads, the foundational conceptual framework of this thesis, has become a universal language, relating various areas such as algebraic topology, derived categories of algebras, deformation theory, differential geometry and the mathematical theory of quantization.The thesis consists of a preliminary chapter followed by four main chapters. READ MORE

  5. 3. A graded subring of an inverse limit of polynomial rings

    Author : Jan Snellman; Jörgen Backelin; Guillermo Moreno Socias; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Gröbner bases; generic forms; inverse limit; Algebra and geometry; Algebra och geometri;

    Abstract : We study the power series ring R= K[[x1,x2,x3,...]]on countably infinitely many variables, over a field K, and two particular K-subalgebras of it: the ring S, which is isomorphic to an inverse limit of the polynomial rings in finitely many variables over K, and the ring R', which is the largest graded subalgebra of R. READ MORE

  6. 4. Free convolutions and the Pearcey process in random matrix theory

    Author : Philippe Moreillon; Kevin Schnelli; Benoit Collins; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Matematik; Mathematics;

    Abstract : The dissertation is in Random Matrix Theory, a field at the interface of probability theory, mathematical physics and operator algebras. First, we examine elementary questions that arise in Voiculescu’s Free Probability Theory of non-commutative random variables. READ MORE

  7. 5. Admissible transformations and the group classification of Schrödinger equations

    Author : Celestin Kurujyibwami; Peter Basarab-Horwath; Roman Popovych; Pontelis Damianou; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : We study admissible transformations and solve group classification problems for various classes of linear and nonlinear Schrödinger equations with an arbitrary number n of space variables.The aim of the thesis is twofold. READ MORE