Search for dissertations about: "mathematical proof"

Showing result 1 - 5 of 80 swedish dissertations containing the words mathematical proof.

  2. 1. Concept Formation in Mathematics

    Author : Jörgen Sjögren; Högskolan i Skövde; []
    Keywords : HUMANIORA; HUMANITIES; Explication; Power of arithmetical theories; Formal proof; Informal proof; Indispensability; Mathematical realism; Naturvetenskap; Natural sciences; Explication; Power of arithmetical theories; Formal Proof; Informal proof; Indispensability; Mathematical Realism;

    Abstract : This thesis consists of three overlapping parts, where the first one centers around the possibility of defining a measure of the power of arithmetical theories. In this part a partial measure of the power of arithmetical theories is constructed, where “power” is understood as capability to prove theorems. READ MORE

  4. 2. Approaching Proof in a Community of Mathematical Practice

    Author : Kirsti Hemmi; Rikard Bögvad; Barbara Jaworski; Gila Hanna; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; proof; university mathematics; community of practice; participation; reification; MATHEMATICS; MATEMATIK;

    Abstract : This thesis aims to describe how students encounter proof in a community of mathematical practice at a mathematics department and how they are drawn to share mathematicians’ views and knowledge of proof. Considering the department as a community of practice where the joint enterprise is learning mathematics in a broad sense made it possible to perceive the newcomers as active participants in the practice. READ MORE

  5. 3. Optimization and Estimation of Solutions of Riccati Equations

    Author : Kibret Sigstam; Sten Kaijser; Arkadi Ponossov; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical analysis; Matematisk analys; Mathematical analysis; Analys;

    Abstract : This thesis consists of three papers on topics related to optimization and estimation of solutions of Riccati equations. We are concerned with the initial value problemf'+f² =r², f(0)=0, (*)and we want to optimiseF(T)= ∫0T f(t) dtwhen r is allowed to vary over the set R(φ ) of all equimeasurable rearrangements of a decreasing function φ and its convex hull CR(φ). READ MORE

  6. 4. Renormalization of Lorenz Maps

    Author : Björn Winckler; Marco Martens; Michael Benedicks; Welington de Melo; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical analysis; Analys;

    Abstract : This thesis is a study of the renormalization operator on Lorenz αmaps with a critical point. Lorenz maps arise naturally as first-return maps for three-dimensional geometric Lorenz flows. Renormalization is a tool for analyzing the microscopic geometry of dynamical systems undergoing a phase transition. READ MORE

  7. 5. Hypergeometric functions in several complex variables

    Author : Timour Sadykov; Mikael Passare; Bernd Sturmfels; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical analysis; Analys;

    Abstract : This thesis deals with hypergeometric functions in several complex variables and systems of partial differential equations of hypergeometric type. One of the main objects of study in the thesis is the so-called Horn system of equations: xiPi(θ)y(x) = Qi(θ)y(x), i = 1, ... READ MORE