Sökning: "computer-assisted proofs"

Hittade 4 avhandlingar innehållade orden computer-assisted proofs.

  1. 1. Computer-Assisted Proofs and Other Methods for Problems Regarding Nonlinear Differential Equations

    Detta är en avhandling från Uppsala : Department of Mathematics

    Författare :Oswald Fogelklou; Uppsala universitet.; [2012]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; computer-assisted proof; numerical verification; viscous Burgers’ equation; enclosure; existence; nonlinear boundary value problems; Euler equations; inverse problem; bicubic spline; interval analysis; heat equation; fluid limit; peer-to-peer networks; fixed points; stability; global stability; Mathematics; Matematik;

    Sammanfattning : This PhD thesis treats some problems concerning nonlinear differential equations.In the first two papers computer-assisted proofs are used. The differential equations there are rewritten as fixed point problems, and the existence of solutions are proved. LÄS MER

  2. 2. Aspects of viscous shocks

    Detta är en avhandling från Stockholm : Numerisk analys och datalogi

    Författare :Malin Siklosi; KTH.; [2004]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Numerical analysis; hyperbolic conservation laws; viscous shocks; modified equation; shock capturing; computer-assisted proofs; Numerisk analys; MATHEMATICS Applied mathematics Numerical analysis; MATEMATIK Tillämpad matematik Numerisk analys;

    Sammanfattning : This thesis consists of an introduction and five papers concerning different numerical and mathematical aspects of viscous shocks.Hyperbolic conservation laws are used to model wave motion and advect- ive transport in a variety of physical applications. LÄS MER

  3. 3. Reasoning with Bounded Cognitive Resources

    Detta är en avhandling från Göteborg : University of Gothenburg

    Författare :Abdul Rahim Nizamani; Göteborgs universitet.; Gothenburg University.; [2015]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Artificial general intelligence; logical reasoning; inductive learning; proof systems; bounded cognitive resources; cognitive modeling;

    Sammanfattning : Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated theorem proving are being constructed and used by mathematicians and logicians. LÄS MER

  4. 4. Classifications, volume bounds and universal Ehrhart inequalities of lattice polytopes

    Detta är en avhandling från Stockholm : Department of Mathematics, Stockholm University

    Författare :Gabriele Balletti; Stockholms universitet.; [2018]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; matematik; Mathematics;

    Sammanfattning : In this PhD thesis we study relations among invariants of lattice polytopes. Particular emphasis is placed on bounds for the volume of lattice polytopes with interior points, and inequalities for the coefficients of their Ehrhart delta polynomials. LÄS MER