×

Found 45 Documents (Results 1–45)

Computer-assisted bifurcation diagram validation and applications in materials science. (English) Zbl 1406.35040

van den Berg, Jan Bouwe (ed.) et al., Rigorous numerics in dynamics. AMS short course, Seattle, WA, USA, January 4–5, 2016. Lecture notes. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2814-3/hbk; 978-1-4704-4729-8/ebook). Proceedings of Symposia in Applied Mathematics 74, 123-174 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Curve veering for the parameter-dependent clamped plate. (English) Zbl 1354.74123

Nehmeier, Marco (ed.) et al., Scientific computing, computer arithmetic, and validated numerics. 16th international symposium, SCAN 2014, Würzburg, Germany, September 21–26, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-31768-7/pbk; 978-3-319-31769-4/ebook). Lecture Notes in Computer Science 9553, 259-268 (2016).
MSC:  74K20
PDFBibTeX XMLCite
Full Text: DOI

Solving linear systems with polynomial parameter dependency with application to the verified solution of problems in structural mechanics. (English) Zbl 1311.65033

Chinchuluun, Altannar (ed.) et al., Optimization, simulation, and control. New York, NY: Springer (ISBN 978-1-4614-5130-3/hbk; 978-1-4614-5131-0/ebook). Springer Optimization and Its Applications 76, 301-318 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Numerical solutions of fuzzy partial differential equations and its applications in computational mechanics. (English) Zbl 1124.74308

Nikravesh, Masoud (ed.) et al., Fuzzy partial differential equations and relational equations. Reservoir characterization and modeling. Berlin: Springer (ISBN 3-540-20322-2/hbk). Studies in Fuzziness and Soft Computing 142, 308-347 (2004).
PDFBibTeX XMLCite

Inclusions for eigenvalues of selfadjoint problems. (English) Zbl 0838.65060

Herzberger, Jürgen, Topics in validated computations. Proceedings of the IMACS-GAMM international workshop, Oldenburg, Germany, 30 August - 3 September 1993. Amsterdam: Elsevier. Stud. Comput. Math. 5, 277-322 (1994).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software