×

Found 3,369 Documents (Results 1–100)

100
MathJax

Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations. (English. Russian original) Zbl 1471.34073

Differ. Equ. 57, No. 3, 391-407 (2021); translation from Differ. Uravn. 57, No. 3, 411-427 (2021).
MSC:  34C25 65G30
PDF BibTeX XML Cite
Full Text: DOI

Domain theoretic second-order Euler’s method for solving initial value problems. (English) Zbl 07516373

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 105-128 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Evaluation of Chebyshev polynomials on intervals and application to root finding. (English) Zbl 07441058

Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 35-41 (2020).
MSC:  68-XX 65-XX
PDF BibTeX XML Cite
Full Text: DOI arXiv

Affine-contractor approach to handle nonlinear dynamical problems in uncertain environment. (English) Zbl 07324118

Chakraverty, Snehashish (ed.), Mathematical methods in interdisciplinary sciences. Hoboken, NJ: John Wiley & Sons. 215-237 (2020).
MSC:  74-XX 76-XX 80-XX
PDF BibTeX XML Cite
Full Text: DOI

Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. (English) Zbl 1448.68033

Studies in Computational Intelligence 835. Cham: Springer (ISBN 978-3-030-31040-0/hbk; 978-3-030-31041-7/ebook). xi, 649 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Global smooth solutions for the inviscid SQG equation. (English) Zbl 1444.35003

Memoirs of the American Mathematical Society 1292. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4214-9/pbk; 978-1-4704-6247-5/ebook). v, 89 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Time-fractional order biological systems with uncertain parameters. (English) Zbl 1465.92002

Synthesis Lectures on Mathematics and Statistics 31. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-751-5/hbk; 978-1-68173-749-2/pbk; 978-1-68173-750-8/ebook). xv, 144 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Packing disks into disks with optimal worst-case density. (English) Zbl 07559235

Barequet, Gill (ed.) et al., 35th international symposium on computational geometry, SoCG 2019, Portland, Oregon, USA, June 18–21, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 129, Article 35, 19 p. (2019).
MSC:  68U05
PDF BibTeX XML Cite
Full Text: DOI

Effective certification of approximate solutions to systems of equations involving analytic functions. (English) Zbl 1467.65049

Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 267-274 (2019).
MSC:  65H04 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Development of metaheuristic interval minimization methods for optimal program control design. (English. Russian original) Zbl 1432.49059

Autom. Remote Control 80, No. 2, 334-347 (2019); translation from Upravl. Bol’sh. Sist. 2016, No. 60, 41-62 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software