✦ LIBER ✦

Chaoticity of some chemical attractors: a computer assisted proof

✍ Scribed by Yan Huang; Xiao-Song Yang

Publisher: Springer
Year: 2005
Tongue: English
Weight: 300 KB
Volume: 38
Category: Article
ISSN: 0259-9791
DOI: 10.1007/s10910-005-4537-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Existence of Shilnikov Homoclinic Or

The Existence of Shilnikov Homoclinic Orbits in the Michelson System: A Computer Assisted Proof

✍ Daniel Wilczak 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 754 KB

A simple way to compute the existence re

A simple way to compute the existence region of 1D chaotic attractors in 2D-maps

✍ P. Celka 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 381 KB

Some Questions Concerning Computer-Gener

Some Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity

✍ George E. Andrews; Peter Paule 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 146 KB

Errata to “Selecting the top three eleme

Errata to “Selecting the top three elements” by M. Aigner: A result of a computer-assisted proof search

✍ Jutta Eusterbrock 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 165 KB

Some aspects of a program implementation

Some aspects of a program implementation for a computer-assisted system for pulse diagnosis

✍ V. V. Boronoev; O. S. Rinchinov 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 116 KB

A computer-assisted proof of the existen

A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition

✍ Oswald Fogelklou; Warwick Tucker; Gunilla Kreiss; Malin Siklosi 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 423 KB

In this paper, we present a computer-assisted method that establishes the existence and local uniqueness of a stationary solution to the viscous Burgers' equation. The problem formulation involves a left boundary condition and one integral boundary condition, which is a variation of a previous appro