Sökning: "Oswald Fogelklou"

Hittade 1 avhandling innehållade orden Oswald Fogelklou.

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