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

Prezentácia metódy dôkazu existencie riešenia v blízkom okolí približného riešenia pre skalárne nelineárne dvojbodové úlohy hraničných hodnôt so Sturm-Liouvillovými alebo periodickými operátormi.

Bibliographic Details

Main Author:	Plum, M.
Format:	Book Chapter
Language:	English
Subjects:	matematika metódy matematické využitie počítačov
Tags:	Add Tag No Tags, Be the first to tag this record!