Avancerad sökning

Visar resultat 21 - 25 av 88 avhandlingar som matchar ovanstående sökkriterier.

  1. 21. Topics in Computational Algebraic Geometry and Deformation Quantization

    Författare :Christine Jost; Sandra Di Rocco; Boris Shapiro; Gregory G. Smith; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Segre classes; Chern-Schwartz-MacPherson classes; topological Euler characteristic; computational algebraic geometry; numerical algebraic geometry; numerical homotopy methods; deformation quantization; polyvector fields; Fedosov quantization; Grothendieck-Teichmüller group; Mathematics; matematik;

    Sammanfattning : This thesis consists of two parts, a first part on computations in algebraic geometry, and a second part on deformation quantization. More specifically, it is a collection of four papers. In the papers I, II and III, we present algorithms and an implementation for the computation of degrees of characteristic classes in algebraic geometry. LÄS MER

  3. 22. Topics in geometry, analysis and inverse problems

    Författare :Hans Rullgård; Mikael Passare; Victor Palamodov; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Laurent series; Harnack curves; differential equations; tomography; Mathematical logic; Matematisk logik;

    Sammanfattning : The thesis consists of three independent parts.Part I: Polynomial amoebasWe study the amoeba of a polynomial, as de ned by Gelfand, Kapranov and Zelevinsky. A central role in the treatment is played by a certain convex function which is linear in each complement component of the amoeba, which we call the Ronkin function. LÄS MER

  4. 23. Chekanov-Eliashberg dg-algebras and partially wrapped Floer cohomology

    Författare :Johan Asplund; Tobias Ekholm; Baptiste Chantraine; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Symplectic geometry; Contact geometry; Chekanov-Eliashberg dg-algebra; partially wrapped Floer cohomology; Lagrangian submanifold; Legendrian submanifold; singular Legendrians; based loop space; Mathematics; Matematik;

    Sammanfattning : This thesis consists of an introduction and two research papers in the fields of symplectic and contact geometry. The focus of the thesis is on Floer theory and symplectic field theory. LÄS MER

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

    Författare :Bassel Mannaa; Göteborgs universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  7. 25. Formalizing Univalent Set-Level Structures in Cubical Agda

    Författare :Max Zeuner; Anders Mörtberg; Martin Escardo; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This licentiate thesis consists of two papers on formalization projects using Cubical Agda, a rather new extension of the Agda proof assistant with constructive support for univalence and higher inductive types. The common denominator of the two papers is that they are concerned with structures on types that are sets in the sense of Homotopy Type Theory or Univalent Foundations (HoTT/UF). LÄS MER