Search for dissertations about: "Constructive mathematics"
Showing result 1  5 of 17 swedish dissertations containing the words Constructive mathematics.

1. Constructive Newton–Puiseux Theorem, Sheaf Model of the Separable Closure and Dynamic Evaluation
University dissertation from Göteborg : University of GothenburgAbstract : 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 socalled Newton–Puiseux Theorem. The termination of this algorithm, however, is usually justified by nonconstructive means. READ MORE

2. Notes on constructive mathematics
University dissertation from Stockholm : Almqvist & WiksellAbstract : .... READ MORE

3. On HalfSpace and ShockWave Problems for Discrete Velocity Models of the Boltzmann Equation
University dissertation from Karlstads universitetAbstract : 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. Constructive Methods for SAGBI and SAGBIGröbner Bases
University dissertation from Centre for Mathematical Sciences, Lund UniversityAbstract : 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. Univalent Types, Sets and Multisets Investigations in dependent type theory
University dissertation from Stockholm : Department of Mathematics, Stockholm UniversityAbstract : 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