Search for dissertations about: "Constructive mathematics"

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

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

    University dissertation from Göteborg : University of Gothenburg

    Author : Bassel Mannaa; Göteborgs universitet.; Gothenburg University.; [2014]
    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; Algebraic number; Dynamic evaluation; Sheaf model; Algebraic curve;

    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

  2. 2. Notes on constructive mathematics

    University dissertation from Stockholm : Almqvist & Wiksell

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

    Abstract : .... READ MORE

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

    University dissertation from Karlstads universitet

    Author : Niclas Bernhoff; Alexander Bobylev; Giuseppe Toscani; [2005]
    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

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

    University dissertation from Centre for Mathematical Sciences, Lund University

    Author : Hans Öfverbeck; [2006]
    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

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

    University dissertation from Stockholm : Department of Mathematics, Stockholm University

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

    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