Avancerad sökning

Hittade 4 avhandlingar som matchar ovanstående sökkriterier.

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

    Författare :Oswald Fogelklou; Warwick Tucker; Gunilla Kreiss; Piotr Zgliczynski; Uppsala universitet; []
    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

  3. 2. Aspects of viscous shocks

    Författare :Malin Siklosi; GUnilla Kreiss; Smadar Karni; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Numerical analysis; hyperbolic conservation laws; viscous shocks; modified equation; shock capturing; computer-assisted proofs; Numerisk analys; Numerical analysis; 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

  4. 3. Reasoning with Bounded Cognitive Resources

    Författare :Abdul Rahim Nizamani; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL 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

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

    Författare :Gabriele Balletti; Benjamin Nill; Matthias Beck; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematics; matematik;

    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