Search for dissertations about: "Constructive mathematics"

Showing result 1 - 5 of 20 swedish dissertations containing the words Constructive mathematics.

  2. 1. Constructive Newton–Puiseux Theorem, Sheaf Model of the Separable Closure and Dynamic Evaluation

    Author : Bassel Mannaa; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Newton–Puiseux; Algebraic curve; Sheaf model; Dynamic evaluation; Algebraic number; Grothendieck topos; Grothendieck topos;

    Abstract : Computing the Puiseux expansions of a plane algebraic curve defined by an affine equation over an algebraically closed field is a an important algorithm in algebraic geometry. This is the so-called Newton–Puiseux Theorem. The termination of this algorithm, however, is usually justified by non-constructive means. READ MORE

  4. 2. Notes on constructive mathematics

    Author : Per Martin-Löf; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE

  5. 3. On Half-Space and Shock-Wave Problems for Discrete Velocity Models of the Boltzmann Equation

    Author : Niclas Bernhoff; Alexander Bobylev; Giuseppe Toscani; Karlstads universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Boltzmann equation; discrete velocity models; boundary value problems; shock waves; MATHEMATICS; MATEMATIK; Matematik; Mathematics;

    Abstract : We study some questions related to general discrete velocity (with arbitrarily number of velocities) models (DVMs) of the Boltzmann equation. In the case of plane stationary problems the typical DVM reduces to a dynamical system (system of ODEs). Properties of such systems are studied in the most general case. READ MORE

  6. 4. Constructive Methods for SAGBI and SAGBI-Gröbner Bases

    Author : Hans Öfverbeck; Matematik (naturvetenskapliga fakulteten); []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Matematik; Mathematics; elimination; intersection; automata; resultants; noncommutative invariants;

    Abstract : The thesis consists of an introduction and the following four papers: Paper I: Using resultants for SAGBI basis verification in the univariate polynomial ring. Authors: Anna Torstensson, Victor Ufnarovski and Hans Öfverbeck. READ MORE

  7. 5. Univalent Types, Sets and Multisets : Investigations in dependent type theory

    Author : Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; type theory; homotopy type theory; dependent types; constructive set theory; databases; formalisation; agda; Mathematics; matematik;

    Abstract : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. READ MORE