Sökning: "Piotr Zgliczynski"

Hittade 2 avhandlingar innehållade orden Piotr Zgliczynski.

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. On some computer-aided proofs in analysis

   Författare :Tomas Johnson; Warwick Tucker; Piotr Zgliczynski; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; MATHEMATICS; MATEMATIK; Mathematics; Matematik; Mathematics; Matematik;

   Sammanfattning : .... LÄS MER