𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Method of Verification of the Existence of Planets around Pulsars

✍ Scribed by Maciej Konacki; Andrzej J. Maciejewski

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
486 KB
Volume
122
Category
Article
ISSN
0019-1035

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A computational verification method of e
A computational verification method of existence of solution for elastoplastic torsion problems with uniqueness
✍ Cheon Seoung Ryoo; Sang Hun Lee πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 217 KB

We propose a numerical method to verify the existence and uniqueness of solutions to elasto-plastic torsion problems. We numerically construct a set containing solutions which satisfies the hypothesis of Banach fixed-point theorem in a certain Sobolev space.