✦ LIBER ✦

Computer-assisted proofs in analysis

✍ Scribed by Oscar E. Lanford III

Publisher: Elsevier Science
Year: 1984
Tongue: English
Weight: 215 KB
Volume: 124
Category: Article
ISSN: 0378-4371
DOI: 10.1016/0378-4371(84)90262-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computer Assisted Proofs of Bifurcating

Computer Assisted Proofs of Bifurcating Solutions for

✍ Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoung 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 552 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 uncertainty analysis

✍ W. G. Steele; R. A. Ferguson; R. P. Taylor; H. W. Coleman 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 194 KB

A computer program has been developed to perform uncertainty analysis calculations based on user input of the data reduction equation, nominal values of the variables in the equation, and uncertainty estimates for each variable. The code is based on techniques consistent with those recommended in th

Computer-assisted capnogram analysis

✍ Huib R. van Genderingen; Nikolaus Gravenstein; Jan J. van der Aa; Joachim S. Gra 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 578 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

Computer-assisted chemical structure ana

Computer-assisted chemical structure analysis

✍ Munk, Morton E. ;Farkas, Margit ;Lipkis, Alan H. ;Christie, Bradley D. 📂 Article 📅 1986 🏛 Springer-Verlag ⚖ 726 KB