✦ LIBER ✦

Computer Assisted Proofs of Bifurcating Solutions for

✍ Scribed by Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoung-Nyoung Kim

Publisher: Springer US
Year: 2009
Tongue: English
Weight: 552 KB
Volume: 43
Category: Article
ISSN: 0885-7474
DOI: 10.1007/s10915-009-9303-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Erratum to: Computer Assisted Proofs of

Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems

✍ Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoung 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 102 KB

Computer-assisted existence proofs for t

Computer-assisted existence proofs for two-point boundary value problems

✍ M. Plum 📂 Article 📅 1991 🏛 Springer Vienna 🌐 English ⚖ 729 KB

Computer-assisted proofs of special func

Computer-assisted proofs of special function identities related to Poisson integrals

✍ Flavia Stan 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 413 KB

Chaoticity of some chemical attractors:

Chaoticity of some chemical attractors: a computer assisted proof

✍ Yan Huang; Xiao-Song Yang 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 300 KB

Computer-assisted methods for the invest

Computer-assisted methods for the investigation of solution equilibria

✍ Peter Gans 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 528 KB

A review is given of computer-assisted methods for the calculation of formation constants and solution compositions pertaining to complex solution equilibria. Computer programs for the treatment of potentiometric and spectrophotometric data are discussed and compared and possible future development

Phase diagram of the two-dimensional Isi

Phase diagram of the two-dimensional Ising antiferromagnet (computer-assisted proof)

✍ R. L. Dobrushin; J. Kolafa; S. B. Shlosman 📂 Article 📅 1985 🏛 Springer 🌐 English ⚖ 891 KB