Sökning: "computer-assisted proof"

Hittade 3 avhandlingar innehållade orden computer-assisted proof.

  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. 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

  4. 3. Renormalization of Lorenz Maps

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

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