×

Found 141 Documents (Results 1–100)

Validated root enclosures for interval polynomials with multiplicities. (English) Zbl 07760751

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 90-99 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Primitive floats in Coq. (English) Zbl 07649956

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 7, 20 p. (2019).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

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

Validated numerics for equilibria of analytic vector fields: invariant manifolds and connecting orbits. (English) Zbl 1409.65109

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). Proc. Symp. Appl. Math. 74, 27-80 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Estimation of two error components in the numerical solution to the problem of nonisothermal flow of polymer fluid between two coaxial cylinders. (English. Russian original) Zbl 1442.76013

Comput. Math. Math. Phys. 58, No. 7, 1099-1115 (2018); translation from Zh. Vychisl. Mat. Mat. Fiz. 58, No. 7 (2018).
PDFBibTeX XMLCite
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