๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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

โœ Scribed by Flavia Stan

Publisher
Springer US
Year
2009
Tongue
English
Weight
413 KB
Volume
20
Category
Article
ISSN
1382-4090

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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