×

Found 76 Documents (Results 1–76)

Newest Citations Relevance
Yamamoto, Nobito; Ukawa, Ryuji; Matsuda, Nozomu

Construction of an automatic validated computation for boundary value problems of ODEs. (English) Zbl 1186.68588

Suzuki, Masakazu (ed.) et al., The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14–17, 2009. Selected papers. Fukuoka: Kyushu University, Faculty of Mathematics. COE Lecture Note 22, 306-309 (2009).
MSC:  68W30 65G20 65L10
Cite Review PDF
Oishi, Shin’ichi; Takayasu, Akitoshi; Kubo, Takayuki

Numerical verification method for nonlinear differential equations. (English) Zbl 1186.65071

Suzuki, Masakazu (ed.) et al., The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14–17, 2009. Selected papers. Fukuoka: Kyushu University, Faculty of Mathematics. COE Lecture Note 22, 292-300 (2009).
MSC:  65J15 47J25 34B15 65L10 35J65 65G20
Cite Review PDF
Demkowicz, Leszek F.; Kurtz, Jason; Pardo, David; Paszyński, Maciej; Rachowicz, Waldemar; Zdunek, Adam

Computing with \(hp\)-adaptive finite elements. Vol. II: Frontiers: Three-dimensional elliptic and Maxwell problems with applications. (English) Zbl 1148.65001

Chapman & Hall/CRC Applied Mathematics and Nonlinear Science Series. Boca Raton, FL: Chapman & Hall/CRC (ISBN 978-1-58488-672-3/hbk; 978-1-4200-1169-2/ebook). xv, 417 p. (2008).
Reviewer: Georg Hebermehl (Berlin)
MSC:  65-02 65N30 65N12 65N15 65N22 65N50 65Y05 78M10 74S05 76M10 78A46
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software