Number of the records: 1

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

Title	Computer-assisted existence proofs for two-point boundary value problems.
Translation	Existenčné dôkazy pre dvojbodové úlohy hraničných hodnôt s pomocou počítača.
Author info	M. Plum
Author	Plum M.
Source document	Computing. Roč. 46, č. 1 (1991), s. 19-34
Document kind	schedule of articles from periodics
Language	English
Country of Edition	Austria
systematics	51 - Matematika
Keywords	matematika * metódy matematické * využitie počítačov
Annotation	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.
Database	ARTICLES

article

Number of the records: 1