Bogosel, Beniamin; Bucur, Dorin On the polygonal Faber-Krahn inequality. (Sur l’inégalité Faber-Krahn polygonale.) (English. French summary) Zbl 07811889 J. Éc. Polytech., Math. 11, 19-105 (2024). MSC: 35P15 35J25 49Q10 PDFBibTeX XMLCite \textit{B. Bogosel} and \textit{D. Bucur}, J. Éc. Polytech., Math. 11, 19--105 (2024; Zbl 07811889) Full Text: DOI arXiv
Rizzi, Peter; Sander, Evelyn; Wanner, Thomas Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model. (English) Zbl 07789742 Discrete Contin. Dyn. Syst., Ser. B 29, No. 2, 666-701 (2024). MSC: 37G40 37M20 65G20 65P30 37C81 65G30 74G60 74N15 PDFBibTeX XMLCite \textit{P. Rizzi} et al., Discrete Contin. Dyn. Syst., Ser. B 29, No. 2, 666--701 (2024; Zbl 07789742) Full Text: DOI arXiv
Brehard, Florent; Poteaux, Adrien; Soudant, Léo 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 \textit{F. Brehard} et al., in: 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; Zbl 07760751) Full Text: DOI
Martin-Dorel, Érik; Melquiond, Guillaume; Roux, Pierre Enabling floating-point arithmetic in the Coq proof assistant. (English) Zbl 07753652 J. Autom. Reasoning 67, No. 4, Paper No. 33, 30 p. (2023). MSC: 68V15 PDFBibTeX XMLCite \textit{É. Martin-Dorel} et al., J. Autom. Reasoning 67, No. 4, Paper No. 33, 30 p. (2023; Zbl 07753652) Full Text: DOI
Capiński, Maciej J.; Gidea, Marian Arnold diffusion, quantitative estimates, and stochastic behavior in the three-body problem. (English) Zbl 07748337 Commun. Pure Appl. Math. 76, No. 3, 616-681 (2023). MSC: 37J40 37N05 70F07 PDFBibTeX XMLCite \textit{M. J. Capiński} and \textit{M. Gidea}, Commun. Pure Appl. Math. 76, No. 3, 616--681 (2023; Zbl 07748337) Full Text: DOI arXiv OA License
Boldo, Sylvie; Jeannerod, Claude-Pierre; Melquiond, Guillaume; Muller, Jean-Michel Floating-point arithmetic. (English) Zbl 07736656 Acta Numerica 32, 203-290 (2023). MSC: 65-XX 65Y04 65G50 68M07 PDFBibTeX XMLCite \textit{S. Boldo} et al., Acta Numerica 32, 203--290 (2023; Zbl 07736656) Full Text: DOI
Gimeno, Joan; Lessard, Jean-Philippe; Mireles James, J. D.; Yang, Jiaqi Persistence of periodic orbits under state-dependent delayed perturbations: computer-assisted proofs. (English) Zbl 1522.34094 SIAM J. Appl. Dyn. Syst. 22, No. 3, 1743-1779 (2023). MSC: 34K13 34K27 34K43 47H10 68V05 PDFBibTeX XMLCite \textit{J. Gimeno} et al., SIAM J. Appl. Dyn. Syst. 22, No. 3, 1743--1779 (2023; Zbl 1522.34094) Full Text: DOI arXiv
Rump, Siegfried M.; Lange, Marko Fast computation of error bounds for all eigenpairs of a Hermitian and all singular pairs of a rectangular matrix with emphasis on eigen- and singular value clusters. (English) Zbl 1517.65025 J. Comput. Appl. Math. 434, Article ID 115332, 22 p. (2023). MSC: 65F15 65G20 PDFBibTeX XMLCite \textit{S. M. Rump} and \textit{M. Lange}, J. Comput. Appl. Math. 434, Article ID 115332, 22 p. (2023; Zbl 1517.65025) Full Text: DOI
Breden, Maxime A posteriori validation of generalized polynomial chaos expansions. (English) Zbl 07712414 SIAM J. Appl. Dyn. Syst. 22, No. 2, 765-801 (2023). MSC: 37M21 34F05 42C05 41A58 60H35 65P20 65P30 PDFBibTeX XMLCite \textit{M. Breden}, SIAM J. Appl. Dyn. Syst. 22, No. 2, 765--801 (2023; Zbl 07712414) Full Text: DOI arXiv
Miyajima, Shinya Fast verified computation for real powers of large matrices with Kronecker structure. (English) Zbl 07702357 Appl. Math. Comput. 453, Article ID 128055, 22 p. (2023). MSC: 15A16 65F60 65G20 PDFBibTeX XMLCite \textit{S. Miyajima}, Appl. Math. Comput. 453, Article ID 128055, 22 p. (2023; Zbl 07702357) Full Text: DOI
Imakura, Akira; Morikuni, Keiichi; Takayasu, Akitoshi Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems. (English) Zbl 1512.65061 J. Comput. Appl. Math. 424, Article ID 114994, 18 p. (2023). MSC: 65F15 PDFBibTeX XMLCite \textit{A. Imakura} et al., J. Comput. Appl. Math. 424, Article ID 114994, 18 p. (2023; Zbl 1512.65061) Full Text: DOI arXiv
Capiński, Maciej J.; Kepley, Shane; Mireles James, J. D. Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem. (English) Zbl 1520.37058 J. Differ. Equations 366, 132-191 (2023). MSC: 37N05 37C29 37J46 70F07 70F15 68V05 PDFBibTeX XMLCite \textit{M. J. Capiński} et al., J. Differ. Equations 366, 132--191 (2023; Zbl 1520.37058) Full Text: DOI arXiv
Breden, Maxime; Engel, Maximilian Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems. (English) Zbl 1519.34039 Ann. Appl. Probab. 33, No. 2, 1252-1294 (2023). MSC: 34C28 34F05 34F10 34D08 60H10 60J35 65G99 PDFBibTeX XMLCite \textit{M. Breden} and \textit{M. Engel}, Ann. Appl. Probab. 33, No. 2, 1252--1294 (2023; Zbl 1519.34039) Full Text: DOI arXiv
Church, Kevin E. M.; Hénot, Olivier; Lappicy, Phillipo; Lessard, Jean-Philippe; Sprink, Hauke Periodic orbits in Hořava-Lifshitz cosmologies. (English) Zbl 1518.83085 Gen. Relativ. Gravitation 55, No. 1, Paper No. 2, 26 p. (2023). MSC: 83F05 37E20 53C30 70M20 PDFBibTeX XMLCite \textit{K. E. M. Church} et al., Gen. Relativ. Gravitation 55, No. 1, Paper No. 2, 26 p. (2023; Zbl 1518.83085) Full Text: DOI arXiv
Kinoshita, Takehiko; Watanabe, Yoshitaka; Yamamoto, Nobito; Nakao, Mitsuhiro T. Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications. (English) Zbl 1496.65221 J. Comput. Appl. Math. 417, Article ID 114521, 18 p. (2023). MSC: 65N30 33C45 42C05 47F05 65G20 65N15 PDFBibTeX XMLCite \textit{T. Kinoshita} et al., J. Comput. Appl. Math. 417, Article ID 114521, 18 p. (2023; Zbl 1496.65221) Full Text: DOI
Szczygieł, Bartłomiej; Marcinkowski, Leszek A review note on arbitrary precision arithmetic. (English) Zbl 1524.65203 Math. Appl. (Warsaw) 50, No. 2, 153-164 (2022). MSC: 65G50 68W30 PDFBibTeX XMLCite \textit{B. Szczygieł} and \textit{L. Marcinkowski}, Math. Appl. (Warsaw) 50, No. 2, 153--164 (2022; Zbl 1524.65203) Full Text: DOI
Colbrook, Matthew J. Computing semigroups with error control. (English) Zbl 1520.65033 SIAM J. Numer. Anal. 60, No. 1, 396-422 (2022). MSC: 65J08 47A10 46N40 PDFBibTeX XMLCite \textit{M. J. Colbrook}, SIAM J. Numer. Anal. 60, No. 1, 396--422 (2022; Zbl 1520.65033) Full Text: DOI arXiv
Chen, Jiajie; Hou, Thomas Y.; Huang, De Asymptotically self-similar blowup of the Hou-Luo model for the 3D Euler equations. (English) Zbl 1504.35247 Ann. PDE 8, No. 2, Paper No. 24, 75 p. (2022). MSC: 35Q31 76B03 76E30 35C06 35B44 35A02 PDFBibTeX XMLCite \textit{J. Chen} et al., Ann. PDE 8, No. 2, Paper No. 24, 75 p. (2022; Zbl 1504.35247) Full Text: DOI arXiv
Rump, Siegfried M. Verified error bounds for all eigenvalues and eigenvectors of a matrix. (English) Zbl 1508.65034 SIAM J. Matrix Anal. Appl. 43, No. 4, 1736-1754 (2022). MSC: 65F15 15A42 65G30 PDFBibTeX XMLCite \textit{S. M. Rump}, SIAM J. Matrix Anal. Appl. 43, No. 4, 1736--1754 (2022; Zbl 1508.65034) Full Text: DOI
Semisalov, B. V. On an approach to numerical solutions of the Dirichlet problem of an arbitrary dimension. (Russian. English summary) Zbl 07617355 Sib. Zh. Vychisl. Mat. 25, No. 1, 77-95 (2022). MSC: 65-XX 74-XX PDFBibTeX XMLCite \textit{B. V. Semisalov}, Sib. Zh. Vychisl. Mat. 25, No. 1, 77--95 (2022; Zbl 07617355) Full Text: DOI MNR
Miyajima, Shinya Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation. (English) Zbl 1498.65058 Calcolo 59, No. 3, Paper No. 31, 16 p. (2022). MSC: 65F45 15A24 PDFBibTeX XMLCite \textit{S. Miyajima}, Calcolo 59, No. 3, Paper No. 31, 16 p. (2022; Zbl 1498.65058) Full Text: DOI
Ramos, Eduardo; Nolasco, Victor; Gameiro, Marcio Rigorous enclosures of solutions of Neumann boundary value problems. (English) Zbl 1505.34039 Appl. Numer. Math. 180, 104-119 (2022). Reviewer: Saurabh Tomar (Kharagpur) MSC: 34B15 34A45 PDFBibTeX XMLCite \textit{E. Ramos} et al., Appl. Numer. Math. 180, 104--119 (2022; Zbl 1505.34039) Full Text: DOI arXiv
Dehghani-Madiseh, Marzieh Fast enclosing the solution set of the parametric Sylvester matrix equations. (English) Zbl 1492.65131 Linear Multilinear Algebra 70, No. 10, 1814-1830 (2022). MSC: 65G30 65F45 15A24 65G40 PDFBibTeX XMLCite \textit{M. Dehghani-Madiseh}, Linear Multilinear Algebra 70, No. 10, 1814--1830 (2022; Zbl 1492.65131) Full Text: DOI
van den Berg, Jan Bouwe; Duchesne, Gabriel William; Lessard, Jean-Philippe Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach. (English) Zbl 1490.65308 J. Comput. Dyn. 9, No. 2, 253-278 (2022). MSC: 65N99 35J30 PDFBibTeX XMLCite \textit{J. B. van den Berg} et al., J. Comput. Dyn. 9, No. 2, 253--278 (2022; Zbl 1490.65308) Full Text: DOI
Hénot, Olivier; Lessard, Jean-Philippe; Mireles James, J. D. Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds. (English) Zbl 1497.34102 J. Dyn. Differ. Equations 34, No. 2, 1285-1324 (2022). MSC: 34K19 34K07 37M21 34K17 PDFBibTeX XMLCite \textit{O. Hénot} et al., J. Dyn. Differ. Equations 34, No. 2, 1285--1324 (2022; Zbl 1497.34102) Full Text: DOI
van den Berg, Jan Bouwe; Groothedde, Chris; Lessard, Jean-Philippe A general method for computer-assisted proofs of periodic solutions in delay differential problems. (English) Zbl 1504.34191 J. Dyn. Differ. Equations 34, No. 2, 853-896 (2022). Reviewer: Ábel Garab (Klagenfurt) MSC: 34K13 65G99 47N20 PDFBibTeX XMLCite \textit{J. B. van den Berg} et al., J. Dyn. Differ. Equations 34, No. 2, 853--896 (2022; Zbl 1504.34191) Full Text: DOI
Capiński, Maciej J.; Guardia, Marcel; Martín, Pau; M-Seara, Tere; Zgliczyński, Piotr Oscillatory motions and parabolic manifolds at infinity in the planar circular restricted three body problem. (English) Zbl 1498.70014 J. Differ. Equations 320, 316-370 (2022). MSC: 70F07 70F15 37N05 PDFBibTeX XMLCite \textit{M. J. Capiński} et al., J. Differ. Equations 320, 316--370 (2022; Zbl 1498.70014) Full Text: DOI arXiv
Jaquette, Jonathan; Lessard, Jean-Philippe; Takayasu, Akitoshi Global dynamics in nonconservative nonlinear Schrödinger equations. (English) Zbl 1492.35309 Adv. Math. 398, Article ID 108234, 70 p. (2022). Reviewer: Anthony D. Osborne (Keele) MSC: 35Q55 35B40 35B20 37K99 37M21 35A01 PDFBibTeX XMLCite \textit{J. Jaquette} et al., Adv. Math. 398, Article ID 108234, 70 p. (2022; Zbl 1492.35309) Full Text: DOI arXiv
Church, Kevin E. M.; Lessard, Jean-Philippe Rigorous verification of Hopf bifurcations in functional differential equations of mixed type. (English) Zbl 1496.34103 Physica D 429, Article ID 133072, 13 p. (2022). Reviewer: Neville Ford (Chester) MSC: 34K13 34K18 34K20 34K21 37M20 PDFBibTeX XMLCite \textit{K. E. M. Church} and \textit{J.-P. Lessard}, Physica D 429, Article ID 133072, 13 p. (2022; Zbl 1496.34103) Full Text: DOI
Miyajima, Shinya Fast verified computation for positive solutions to \(\mathcal{M} \)-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors. (English) Zbl 1490.65085 J. Comput. Appl. Math. 406, Article ID 113930, 15 p. (2022). MSC: 65F99 15A69 65F10 65G20 PDFBibTeX XMLCite \textit{S. Miyajima}, J. Comput. Appl. Math. 406, Article ID 113930, 15 p. (2022; Zbl 1490.65085) Full Text: DOI
Li, Zhe; Zhang, Chunlei The verification of multiplicity support of a defective eigenvalue of a real matrix. (English) Zbl 1510.65067 Appl. Math. Comput. 414, Article ID 126671, 15 p. (2022). MSC: 65F15 15A18 PDFBibTeX XMLCite \textit{Z. Li} and \textit{C. Zhang}, Appl. Math. Comput. 414, Article ID 126671, 15 p. (2022; Zbl 1510.65067) Full Text: DOI
Breden, Maxime; Chainais-Hillairet, Claire; Zurek, Antoine Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof. (English) Zbl 1506.35219 ESAIM, Math. Model. Numer. Anal. 55, No. 4, 1669-1697 (2021). MSC: 35Q60 78A57 78A30 78A35 35C07 47H10 65G20 65G30 65N35 65H10 41A50 35A01 35R35 35R37 PDFBibTeX XMLCite \textit{M. Breden} et al., ESAIM, Math. Model. Numer. Anal. 55, No. 4, 1669--1697 (2021; Zbl 1506.35219) Full Text: DOI
Schrempf, K. Free (rational) derivation. (English) Zbl 1490.16068 Extr. Math. 36, No. 1, 25-50 (2021). MSC: 16S85 16K40 16S10 PDFBibTeX XMLCite \textit{K. Schrempf}, Extr. Math. 36, No. 1, 25--50 (2021; Zbl 1490.16068) Full Text: DOI arXiv
Hartman, David; Hladík, Milan; Říha, David Computing the spectral decomposition of interval matrices and a study on interval matrix powers. (English) Zbl 1510.65094 Appl. Math. Comput. 403, Article ID 126174, 13 p. (2021). MSC: 65G40 15A18 PDFBibTeX XMLCite \textit{D. Hartman} et al., Appl. Math. Comput. 403, Article ID 126174, 13 p. (2021; Zbl 1510.65094) Full Text: DOI arXiv
Watson, Alexander B.; Luskin, Mitchell Existence of the first magic angle for the chiral model of bilayer graphene. (English) Zbl 1506.82045 J. Math. Phys. 62, No. 9, Article ID 091502, 32 p. (2021). MSC: 82D80 PDFBibTeX XMLCite \textit{A. B. Watson} and \textit{M. Luskin}, J. Math. Phys. 62, No. 9, Article ID 091502, 32 p. (2021; Zbl 1506.82045) Full Text: DOI arXiv
Krait, George; Lazard, Sylvain; Moroz, Guillaume; Pouget, Marc Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves. (English) Zbl 1465.65021 J. Comput. Appl. Math. 394, Article ID 113553, 34 p. (2021). MSC: 65D18 PDFBibTeX XMLCite \textit{G. Krait} et al., J. Comput. Appl. Math. 394, Article ID 113553, 34 p. (2021; Zbl 1465.65021) Full Text: DOI Link
Sander, Evelyn; Wanner, Thomas Equilibrium validation in models for pattern formation based on Sobolev embeddings. (English) Zbl 1465.35050 Discrete Contin. Dyn. Syst., Ser. B 26, No. 1, 603-632 (2021). MSC: 35B36 35B32 35B40 35B41 35K35 35K58 37M20 65G20 65G30 65N35 PDFBibTeX XMLCite \textit{E. Sander} and \textit{T. Wanner}, Discrete Contin. Dyn. Syst., Ser. B 26, No. 1, 603--632 (2021; Zbl 1465.35050) Full Text: DOI arXiv
Miyajima, Shinya Computing enclosures for the matrix Mittag-Leffler function. (English) Zbl 1470.65080 J. Sci. Comput. 87, No. 2, Paper No. 62, 22 p. (2021). MSC: 65F60 15A16 65G20 26A33 33E12 33F05 PDFBibTeX XMLCite \textit{S. Miyajima}, J. Sci. Comput. 87, No. 2, Paper No. 62, 22 p. (2021; Zbl 1470.65080) Full Text: DOI
van den Berg, Jan Bouwe; Breden, Maxime; Lessard, Jean-Philippe; van Veen, Lennaert Spontaneous periodic orbits in the Navier-Stokes flow. (English) Zbl 1475.35247 J. Nonlinear Sci. 31, No. 2, Paper No. 41, 64 p. (2021). Reviewer: Giusy Mazzone (Kingston) MSC: 35Q30 35B06 35B10 35B36 65G20 76D17 68V05 PDFBibTeX XMLCite \textit{J. B. van den Berg} et al., J. Nonlinear Sci. 31, No. 2, Paper No. 41, 64 p. (2021; Zbl 1475.35247) Full Text: DOI arXiv
Lange, Marko; Rump, Siegfried M. Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin’s \(\sin (\theta)\) theorem. (English) Zbl 1470.65088 BIT 61, No. 1, 361-380 (2021). MSC: 65F99 15A03 PDFBibTeX XMLCite \textit{M. Lange} and \textit{S. M. Rump}, BIT 61, No. 1, 361--380 (2021; Zbl 1470.65088) Full Text: DOI
Yamamura, Kiyotaka An efficient algorithm for finding all solutions of nonlinear equations using parallelogram LP test. (English) Zbl 1452.65095 J. Comput. Appl. Math. 382, Article ID 113080, 15 p. (2021). MSC: 65H10 65G40 65K05 PDFBibTeX XMLCite \textit{K. Yamamura}, J. Comput. Appl. Math. 382, Article ID 113080, 15 p. (2021; Zbl 1452.65095) Full Text: DOI
Frommer, Andreas; Hashemi, Behnam Computing enclosures for the matrix exponential. (English) Zbl 1459.65056 SIAM J. Matrix Anal. Appl. 41, No. 4, 1674-1703 (2020). MSC: 65F60 65G20 15A16 PDFBibTeX XMLCite \textit{A. Frommer} and \textit{B. Hashemi}, SIAM J. Matrix Anal. Appl. 41, No. 4, 1674--1703 (2020; Zbl 1459.65056) Full Text: DOI
Li, Zhe; Wang, Xueqing Verified error bounds for real eigenvalues of real symmetric and persymmetric matrices. (English) Zbl 1459.65047 Math. Probl. Eng. 2020, Article ID 9240852, 9 p. (2020). MSC: 65F15 15A18 65F35 PDFBibTeX XMLCite \textit{Z. Li} and \textit{X. Wang}, Math. Probl. Eng. 2020, Article ID 9240852, 9 p. (2020; Zbl 1459.65047) Full Text: DOI
Dunfield, Nathan M. Floer homology, group orderability, and taut foliations of hyperbolic 3-manifolds. (English) Zbl 1469.57020 Geom. Topol. 24, No. 4, 2075-2125 (2020). Reviewer: Jesus A. Álvarez López (Santiago de Compostela) MSC: 57K31 20F60 20M05 57M05 57M50 57R30 57R58 PDFBibTeX XMLCite \textit{N. M. Dunfield}, Geom. Topol. 24, No. 4, 2075--2125 (2020; Zbl 1469.57020) Full Text: DOI arXiv
Lessard, J. P.; Mireles James, J. D. A functional analytic approach to validated numerics for eigenvalues of delay equations. (English) Zbl 07235863 J. Comput. Dyn. 7, No. 1, 123-158 (2020). MSC: 65G20 37B30 34K08 34K20 65M70 PDFBibTeX XMLCite \textit{J. P. Lessard} and \textit{J. D. Mireles James}, J. Comput. Dyn. 7, No. 1, 123--158 (2020; Zbl 07235863) Full Text: DOI
Blanchard, Pierre; Higham, Nicholas J.; Lopez, Florent; Mary, Theo; Pranesh, Srikara Mixed precision block fused multiply-add: error analysis and application to GPU tensor cores. (English) Zbl 1452.65425 SIAM J. Sci. Comput. 42, No. 3, C124-C141 (2020). MSC: 65Y10 65F05 65F08 65G50 PDFBibTeX XMLCite \textit{P. Blanchard} et al., SIAM J. Sci. Comput. 42, No. 3, C124--C141 (2020; Zbl 1452.65425) Full Text: DOI
Aurentz, Jared L.; Hashemi, Behnam The Laurent-Horner method for validated evaluation of Chebyshev expansions. (English) Zbl 1524.65201 Appl. Math. Lett. 102, Article ID 106113, 5 p. (2020). MSC: 65G20 65G30 PDFBibTeX XMLCite \textit{J. L. Aurentz} and \textit{B. Hashemi}, Appl. Math. Lett. 102, Article ID 106113, 5 p. (2020; Zbl 1524.65201) Full Text: DOI
Yang, Zhengfeng; Wu, Min; Lin, Wang An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems. (English) Zbl 07198064 Nonlinear Anal., Hybrid Syst. 36, Article ID 100837, 17 p. (2020). MSC: 65-XX 93-XX PDFBibTeX XMLCite \textit{Z. Yang} et al., Nonlinear Anal., Hybrid Syst. 36, Article ID 100837, 17 p. (2020; Zbl 07198064) Full Text: DOI
Pizzocchero, Livio; Tassi, Emanuele On approximate solutions of the equations of incompressible magnetohydrodynamics. (English) Zbl 1435.35309 Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 195, Article ID 111726, 36 p. (2020). MSC: 35Q35 76W05 35A01 35B65 35A35 PDFBibTeX XMLCite \textit{L. Pizzocchero} and \textit{E. Tassi}, Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 195, Article ID 111726, 36 p. (2020; Zbl 1435.35309) Full Text: DOI arXiv
Chousionis, Vasileios; Leykekhman, Dmitriy; Urbański, Mariusz On the dimension spectrum of infinite subsystems of continued fractions. (English) Zbl 1437.37032 Trans. Am. Math. Soc. 373, No. 2, 1009-1042 (2020). Reviewer: Oleg Karpenkov (Liverpool) MSC: 37C45 28A80 11K50 11J70 37B10 PDFBibTeX XMLCite \textit{V. Chousionis} et al., Trans. Am. Math. Soc. 373, No. 2, 1009--1042 (2020; Zbl 1437.37032) Full Text: DOI arXiv
Rump, Siegfried M. Verified bounds for the determinant of real or complex point or interval matrices. (English) Zbl 1437.65020 J. Comput. Appl. Math. 372, Article ID 112610, 10 p. (2020). Reviewer: Adhemar Bultheel (Leuven) MSC: 65F40 65F22 65F08 15A15 15A23 65G20 PDFBibTeX XMLCite \textit{S. M. Rump}, J. Comput. Appl. Math. 372, Article ID 112610, 10 p. (2020; Zbl 1437.65020) Full Text: DOI
Imakura, Akira; Morikuni, Keiichi; Takayasu, Akitoshi Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems. (English) Zbl 1431.65044 J. Comput. Appl. Math. 369, Article ID 112543, 11 p. (2020). MSC: 65F15 65G20 65G50 PDFBibTeX XMLCite \textit{A. Imakura} et al., J. Comput. Appl. Math. 369, Article ID 112543, 11 p. (2020; Zbl 1431.65044) Full Text: DOI arXiv
Bertholon, Guillaume; Martin-Dorel, Érik; Roux, Pierre 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 \textit{G. Bertholon} et al., LIPIcs -- Leibniz Int. Proc. Inform. 141, Article 7, 20 p. (2019; Zbl 07649956) Full Text: DOI
Hashemi, Behnam Enclosing Chebyshev expansions in linear time. (English) Zbl 1486.65047 ACM Trans. Math. Softw. 45, No. 3, Article No. 27, 33 p. (2019). MSC: 65G20 65D99 65G50 68Q25 PDFBibTeX XMLCite \textit{B. Hashemi}, ACM Trans. Math. Softw. 45, No. 3, Article No. 27, 33 p. (2019; Zbl 1486.65047) Full Text: DOI
Breden, Maxime; Kuehn, Christian Rigorous validation of stochastic transition paths. (English. French summary) Zbl 1427.60142 J. Math. Pures Appl. (9) 131, 88-129 (2019). Reviewer: Ivan Podvigin (Novosibirsk) MSC: 60H35 65G20 34C45 37C29 37J51 PDFBibTeX XMLCite \textit{M. Breden} and \textit{C. Kuehn}, J. Math. Pures Appl. (9) 131, 88--129 (2019; Zbl 1427.60142) Full Text: DOI arXiv
Higham, Nicholas J.; Pranesh, Srikara Simulating low precision floating-point arithmetic. (English) Zbl 07124603 SIAM J. Sci. Comput. 41, No. 5, C585-C602 (2019). MSC: 65Y04 PDFBibTeX XMLCite \textit{N. J. Higham} and \textit{S. Pranesh}, SIAM J. Sci. Comput. 41, No. 5, C585--C602 (2019; Zbl 07124603) Full Text: DOI
Gómez-Serrano, Javier Computer-assisted proofs in PDE: a survey. (English) Zbl 07098970 S\(\vec{\text{e}}\)MA J. 76, No. 3, 459-484 (2019). MSC: 65G30 35Q35 35R35 PDFBibTeX XMLCite \textit{J. Gómez-Serrano}, S\(\vec{\text{e}}\)MA J. 76, No. 3, 459--484 (2019; Zbl 07098970) Full Text: DOI arXiv
Hou, Guoliang; Zhang, Shugong An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator. (English) Zbl 1416.65143 J. Comput. Appl. Math. 359, 145-152 (2019). MSC: 65H10 65G20 PDFBibTeX XMLCite \textit{G. Hou} and \textit{S. Zhang}, J. Comput. Appl. Math. 359, 145--152 (2019; Zbl 1416.65143) Full Text: DOI
Kepley, Shane; Mireles James, J. D. Chaotic motions in the restricted four body problem via Devaney’s saddle-focus homoclinic tangle theorem. (English) Zbl 1422.37062 J. Differ. Equations 266, No. 4, 1709-1755 (2019). Reviewer: Maria Gousidou-Koutita (Thessaloniki) MSC: 37N05 37J45 37J15 37J25 70F07 70F10 70H14 PDFBibTeX XMLCite \textit{S. Kepley} and \textit{J. D. Mireles James}, J. Differ. Equations 266, No. 4, 1709--1755 (2019; Zbl 1422.37062) Full Text: DOI arXiv
Chousionis, Vasileios; Leykekhman, Dmitriy; Urbański, Mariusz The dimension spectrum of conformal graph directed Markov systems. (English) Zbl 1421.37013 Sel. Math., New Ser. 25, No. 3, Paper No. 40, 74 p. (2019). MSC: 37C45 37D35 28A80 11K50 11J70 37B10 37C30 37C40 PDFBibTeX XMLCite \textit{V. Chousionis} et al., Sel. Math., New Ser. 25, No. 3, Paper No. 40, 74 p. (2019; Zbl 1421.37013) Full Text: DOI arXiv
Hladík, Milan; Skalna, Iwona Relations between various methods for solving linear interval and parametric equations. (English) Zbl 1436.65059 Linear Algebra Appl. 574, 1-21 (2019). Reviewer: Karel Zimmermann (Praha) MSC: 65G40 15A06 15Bxx PDFBibTeX XMLCite \textit{M. Hladík} and \textit{I. Skalna}, Linear Algebra Appl. 574, 1--21 (2019; Zbl 1436.65059) Full Text: DOI
Miyaji, Tomoyuki; Okamoto, Hisashi Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis. (English) Zbl 1410.76332 Japan J. Ind. Appl. Math. 36, No. 1, 287-298 (2019). MSC: 76M25 35Q35 76D99 65G20 PDFBibTeX XMLCite \textit{T. Miyaji} and \textit{H. Okamoto}, Japan J. Ind. Appl. Math. 36, No. 1, 287--298 (2019; Zbl 1410.76332) Full Text: DOI
Perdomo, Oscar M. The round Taylor method. (English) Zbl 1454.65049 Am. Math. Mon. 126, No. 3, 237-251 (2019). Reviewer: Antonio Linero Bas (Murcia) MSC: 65L05 37N05 PDFBibTeX XMLCite \textit{O. M. Perdomo}, Am. Math. Mon. 126, No. 3, 237--251 (2019; Zbl 1454.65049) Full Text: DOI
Mahboubi, Assia; Melquiond, Guillaume; Sibut-Pinote, Thomas Formally verified approximations of definite integrals. (English) Zbl 1468.68301 J. Autom. Reasoning 62, No. 2, 281-300 (2019). MSC: 68V15 65D30 65G30 PDFBibTeX XMLCite \textit{A. Mahboubi} et al., J. Autom. Reasoning 62, No. 2, 281--300 (2019; Zbl 1468.68301) Full Text: DOI Link
van den Berg, Jan Bouwe; Williams, J. F. Rigorously computing symmetric stationary states of the Ohta-Kawasaki problem in three dimensions. (English) Zbl 1409.35080 SIAM J. Math. Anal. 51, No. 1, 131-158 (2019). MSC: 35J60 35Q74 65N35 PDFBibTeX XMLCite \textit{J. B. van den Berg} and \textit{J. F. Williams}, SIAM J. Math. Anal. 51, No. 1, 131--158 (2019; Zbl 1409.35080) Full Text: DOI
Reinhardt, Christian; Mireles James, J. D. Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation. (English) Zbl 1419.35131 Indag. Math., New Ser. 30, No. 1, 39-80 (2019). Reviewer: Marius Ghergu (Dublin) MSC: 35K91 37D10 58J35 PDFBibTeX XMLCite \textit{C. Reinhardt} and \textit{J. D. Mireles James}, Indag. Math., New Ser. 30, No. 1, 39--80 (2019; Zbl 1419.35131) Full Text: DOI arXiv
Barrio, Roberto; Du, Peibing; Jiang, Hao; Serrano, Sergio ORTHOPOLY: a library for accurate evaluation of series of classical orthogonal polynomials and their derivatives. (English) Zbl 1498.33009 Comput. Phys. Commun. 231, 146-162 (2018). MSC: 33C47 65F25 65R10 PDFBibTeX XMLCite \textit{R. Barrio} et al., Comput. Phys. Commun. 231, 146--162 (2018; Zbl 1498.33009) Full Text: DOI
Haqiri, Tayyebe; Mohseni Moghadam, Mahmoud; Rivaz, Azim The united stable solution set of interval continuous-time algebraic Riccati equation and verified numerical computation of its outer estimation. (English) Zbl 1424.65051 Turk. J. Math. 42, No. 3, 1130-1155 (2018). MSC: 65F30 15A24 65G30 PDFBibTeX XMLCite \textit{T. Haqiri} et al., Turk. J. Math. 42, No. 3, 1130--1155 (2018; Zbl 1424.65051) Full Text: DOI
Balázs, István; van den Berg, Jan Bouwe; Courtois, Julien; Dudás, János; Lessard, Jean-Philippe; Vörös-Kiss, Anett; Williams, J. F.; Yin, Xi Yuan Computer-assisted proofs for radially symmetric solutions of PDEs. (English) Zbl 1409.35017 J. Comput. Dyn. 5, No. 1-2, 61-80 (2018). MSC: 35A35 41A58 65M99 65G20 65G40 35K57 58C15 35J61 PDFBibTeX XMLCite \textit{I. Balázs} et al., J. Comput. Dyn. 5, No. 1--2, 61--80 (2018; Zbl 1409.35017) Full Text: DOI
Horáček, Jaroslav; Hladík, Milan; Matějka, Josef Determinants of interval matrices. (English) Zbl 1406.15009 Electron. J. Linear Algebra 33, 99-112 (2018). MSC: 15A15 68Q17 65G40 PDFBibTeX XMLCite \textit{J. Horáček} et al., Electron. J. Linear Algebra 33, 99--112 (2018; Zbl 1406.15009) Full Text: arXiv
Koiso, Miyuki; Piccione, Paolo; Shoda, Toshihiro On bifurcation and local rigidity of triply periodic minimal surfaces in \(\mathbb{R}^3\). (Sur la bifurcation et la rigidité locale des surfaces minimales triplement périodiques dans \(\mathbb{R}^3\).) (English. French summary) Zbl 1408.53007 Ann. Inst. Fourier 68, No. 6, 2743-2778 (2018). Reviewer: Atsushi Fujioka (Osaka) MSC: 53A10 58J55 58E12 35J62 PDFBibTeX XMLCite \textit{M. Koiso} et al., Ann. Inst. Fourier 68, No. 6, 2743--2778 (2018; Zbl 1408.53007) Full Text: DOI arXiv
Wanner, Thomas 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). MSC: 35B32 35B40 35B41 35K55 65G20 65G30 65P30 74N99 PDFBibTeX XMLCite \textit{T. Wanner}, Proc. Symp. Appl. Math. 74, 123--174 (2018; Zbl 1406.35040) Full Text: DOI
James, J. D. Mireles 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). Reviewer: Stathis Antoniou (Athína) MSC: 65P30 34C45 34C37 65G20 37M25 PDFBibTeX XMLCite \textit{J. D. M. James}, Proc. Symp. Appl. Math. 74, 27--80 (2018; Zbl 1409.65109) Full Text: DOI
Franek, Peter; Krčál, Marek; Wagner, Hubert Solving equations and optimization problems with uncertainty. (English) Zbl 1416.65141 J. Appl. Comput. Topol. 1, No. 3-4, 297-330 (2018). MSC: 65H10 55U10 PDFBibTeX XMLCite \textit{P. Franek} et al., J. Appl. Comput. Topol. 1, No. 3--4, 297--330 (2018; Zbl 1416.65141) Full Text: DOI arXiv
Miyajima, Shinya Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation. (English) Zbl 1432.65051 Comput. Appl. Math. 37, No. 4, 4599-4610 (2018). MSC: 65F45 15A24 65G20 65H10 PDFBibTeX XMLCite \textit{S. Miyajima}, Comput. Appl. Math. 37, No. 4, 4599--4610 (2018; Zbl 1432.65051) Full Text: DOI
Blokhin, A. M.; Kruglova, E. A.; Semisalov, B. V. 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). MSC: 76A10 65M70 65M15 33C45 PDFBibTeX XMLCite \textit{A. M. Blokhin} et al., Comput. Math. Math. Phys. 58, No. 7, 1099--1115 (2018; Zbl 1442.76013); translation from Zh. Vychisl. Mat. Mat. Fiz. 58, No. 7 (2018) Full Text: DOI
Rump, Siegfried M. Mathematically rigorous global optimization in floating-point arithmetic. (English) Zbl 1398.65093 Optim. Methods Softw. 33, No. 4-6, 771-798 (2018). MSC: 65G20 65H20 65K05 PDFBibTeX XMLCite \textit{S. M. Rump}, Optim. Methods Softw. 33, No. 4--6, 771--798 (2018; Zbl 1398.65093) Full Text: DOI
Capiński, Maciej J.; Zgliczyński, Piotr Beyond the Melnikov method. II: Multidimensional setting. (English) Zbl 1400.37031 J. Differ. Equations 265, No. 9, 3988-4015 (2018). MSC: 37D10 37C29 65G20 PDFBibTeX XMLCite \textit{M. J. Capiński} and \textit{P. Zgliczyński}, J. Differ. Equations 265, No. 9, 3988--4015 (2018; Zbl 1400.37031) Full Text: DOI arXiv
Roy, Falguni; Gupta, D. K.; Stanimirović, Predrag S. An interval extension of SMS method for computing weighted Moore-Penrose inverse. (English) Zbl 1397.65060 Calcolo 55, No. 2, Paper No. 15, 21 p. (2018). Reviewer: Constantin Popa (Constanţa) MSC: 65F20 15A09 65G30 PDFBibTeX XMLCite \textit{F. Roy} et al., Calcolo 55, No. 2, Paper No. 15, 21 p. (2018; Zbl 1397.65060) Full Text: DOI
Popova, Evgenija D. Enclosing the solution set of parametric interval matrix equation \(A(p)X = B(p)\). (English) Zbl 1391.65132 Numer. Algorithms 78, No. 2, 423-447 (2018). MSC: 65G40 15A24 65F10 PDFBibTeX XMLCite \textit{E. D. Popova}, Numer. Algorithms 78, No. 2, 423--447 (2018; Zbl 1391.65132) Full Text: DOI
Miyajima, Shinya Fast verified computation for the solvent of the quadratic matrix equation. (English) Zbl 1391.65108 Electron. J. Linear Algebra 34, 137-151 (2018). MSC: 65F30 15A24 65G20 PDFBibTeX XMLCite \textit{S. Miyajima}, Electron. J. Linear Algebra 34, 137--151 (2018; Zbl 1391.65108)
Castelli, Roberto; Garrione, Maurizio Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions. (English) Zbl 1415.34078 J. Differ. Equations 265, No. 6, 2502-2543 (2018). Reviewer: Alessandro Calamai (Ancona) MSC: 34C25 34B16 37M20 34C23 47N20 PDFBibTeX XMLCite \textit{R. Castelli} and \textit{M. Garrione}, J. Differ. Equations 265, No. 6, 2502--2543 (2018; Zbl 1415.34078) Full Text: DOI
Kalies, William D.; Kepley, Shane; Mireles James, J. D. Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds. (English) Zbl 1409.65110 SIAM J. Appl. Dyn. Syst. 17, No. 1, 157-202 (2018). Reviewer: Christian Pötzsche (Klagenfurt) MSC: 65P99 37M99 34C45 PDFBibTeX XMLCite \textit{W. D. Kalies} et al., SIAM J. Appl. Dyn. Syst. 17, No. 1, 157--202 (2018; Zbl 1409.65110) Full Text: DOI arXiv
Castelli, Roberto; Gameiro, Marcio; Lessard, Jean-Philippe Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation. (English) Zbl 1390.35262 Arch. Ration. Mech. Anal. 228, No. 1, 129-157 (2018). MSC: 35Q35 76B15 35R25 35B10 42A63 65M70 PDFBibTeX XMLCite \textit{R. Castelli} et al., Arch. Ration. Mech. Anal. 228, No. 1, 129--157 (2018; Zbl 1390.35262) Full Text: DOI arXiv
Li, Zhe; Wan, Baocheng; Gao, Ruimei Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces. (English) Zbl 1384.65027 Numer. Algorithms 77, No. 2, 631-652 (2018). Reviewer: Anton Iliev (Plovdiv) MSC: 65F15 65G20 PDFBibTeX XMLCite \textit{Z. Li} et al., Numer. Algorithms 77, No. 2, 631--652 (2018; Zbl 1384.65027) Full Text: DOI
Dehghani-Madiseh, Marzieh; Hladík, Milan Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations. (English) Zbl 1380.65078 Appl. Numer. Math. 126, 18-33 (2018). MSC: 65F30 65F10 65G30 65F08 PDFBibTeX XMLCite \textit{M. Dehghani-Madiseh} and \textit{M. Hladík}, Appl. Numer. Math. 126, 18--33 (2018; Zbl 1380.65078) Full Text: DOI arXiv
Miyajima, Shinya Fast verified computation for the matrix principal \(p\)th root. (English) Zbl 1376.65077 J. Comput. Appl. Math. 330, 276-288 (2018). MSC: 65F60 65G20 65G30 65Y20 PDFBibTeX XMLCite \textit{S. Miyajima}, J. Comput. Appl. Math. 330, 276--288 (2018; Zbl 1376.65077) Full Text: DOI
Du, Peibing; Barrio, Roberto; Jiang, Hao; Cheng, Lizhi Accurate quotient-difference algorithm: error analysis, improvements and applications. (English) Zbl 1411.65057 Appl. Math. Comput. 309, 245-271 (2017). MSC: 65F15 PDFBibTeX XMLCite \textit{P. Du} et al., Appl. Math. Comput. 309, 245--271 (2017; Zbl 1411.65057) Full Text: DOI arXiv
Miyajima, Shinya Verified solutions of delay eigenvalue problems. (English) Zbl 1411.65060 Appl. Math. Comput. 303, 211-225 (2017). MSC: 65F15 34K08 34L16 PDFBibTeX XMLCite \textit{S. Miyajima}, Appl. Math. Comput. 303, 211--225 (2017; Zbl 1411.65060) Full Text: DOI
Hauenstein, Jonathan D.; Wampler, Charles W. Unification and extension of intersection algorithms in numerical algebraic geometry. (English) Zbl 1411.65075 Appl. Math. Comput. 293, 226-243 (2017). MSC: 65H10 14Q15 68W30 PDFBibTeX XMLCite \textit{J. D. Hauenstein} and \textit{C. W. Wampler}, Appl. Math. Comput. 293, 226--243 (2017; Zbl 1411.65075) Full Text: DOI
Zhen, Jianzhe; den Hertog, Dick Centered solutions for uncertain linear equations. (English) Zbl 1407.90247 Comput. Manag. Sci. 14, No. 4, 585-610 (2017). MSC: 90C15 90C47 PDFBibTeX XMLCite \textit{J. Zhen} and \textit{D. den Hertog}, Comput. Manag. Sci. 14, No. 4, 585--610 (2017; Zbl 1407.90247) Full Text: DOI
Nakao, Mitsuhiro T. Numerical verification for solutions to partial differential equations. (English. Japanese original) Zbl 1391.35143 Sugaku Expo. 30, No. 1, 89-109 (2017); translation from Sūgaku 65, No. 2, 113-132 (2013). MSC: 35J61 65M99 65N99 PDFBibTeX XMLCite \textit{M. T. Nakao}, Sugaku Expo. 30, No. 1, 89--109 (2017; Zbl 1391.35143); translation from Sūgaku 65, No. 2, 113--132 (2013) Full Text: DOI
Mireles-James, J. D. Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds. (English) Zbl 1383.37066 Found. Comput. Math. 17, No. 6, 1467-1523 (2017). MSC: 37L65 37C05 34C45 37D10 65P40 PDFBibTeX XMLCite \textit{J. D. Mireles-James}, Found. Comput. Math. 17, No. 6, 1467--1523 (2017; Zbl 1383.37066) Full Text: DOI
Skalna, Iwona; Hladík, Milan A new method for computing a \(p\)-solution to parametric interval linear systems with affine-linear and nonlinear dependencies. (English) Zbl 1383.65027 BIT 57, No. 4, 1109-1136 (2017). Reviewer: Adhemar Bultheel (Leuven) MSC: 65F10 15B99 65G40 65G50 90C05 65K05 65F08 PDFBibTeX XMLCite \textit{I. Skalna} and \textit{M. Hladík}, BIT 57, No. 4, 1109--1136 (2017; Zbl 1383.65027) Full Text: DOI
Castelli, Roberto Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation. (English) Zbl 1376.65134 Acta Appl. Math. 151, No. 1, 27-52 (2017). MSC: 65M99 35K57 35B32 65G20 PDFBibTeX XMLCite \textit{R. Castelli}, Acta Appl. Math. 151, No. 1, 27--52 (2017; Zbl 1376.65134) Full Text: DOI
Jaquette, Jonathan; Lessard, Jean-Philippe; Mischaikow, Konstantin Stability and uniqueness of slowly oscillating periodic solutions to Wright’s equation. (English) Zbl 1382.34069 J. Differ. Equations 263, No. 11, 7263-7286 (2017). Reviewer: George Karakostas (Ioannina) MSC: 34K13 34K20 PDFBibTeX XMLCite \textit{J. Jaquette} et al., J. Differ. Equations 263, No. 11, 7263--7286 (2017; Zbl 1382.34069) Full Text: DOI arXiv
Capiński, Maciej J.; Wasieczko-Zając, Anna Computer-assisted proof of Shil’nikov homoclinics: with application to the Lorenz-84 model. (English) Zbl 1371.34061 SIAM J. Appl. Dyn. Syst. 16, No. 3, 1453-1473 (2017). MSC: 34C37 37D05 37D10 65G20 34C45 PDFBibTeX XMLCite \textit{M. J. Capiński} and \textit{A. Wasieczko-Zając}, SIAM J. Appl. Dyn. Syst. 16, No. 3, 1453--1473 (2017; Zbl 1371.34061) Full Text: DOI arXiv
Choi, Sou-Cheng T.; Ding, Yuhan; Hickernell, Fred J.; Tong, Xin Local adaption for approximation and minimization of univariate functions. (English) Zbl 1365.65032 J. Complexity 40, 17-33 (2017). MSC: 65D15 65Y20 65K05 90C30 PDFBibTeX XMLCite \textit{S.-C. T. Choi} et al., J. Complexity 40, 17--33 (2017; Zbl 1365.65032) Full Text: DOI arXiv
van den Berg, Jan Bouwe; Williams, J. F. Validation of the bifurcation diagram in the 2D Ohta-Kawasaki problem. (English) Zbl 1366.65068 Nonlinearity 30, No. 4, 1584-1638 (2017). MSC: 65K10 49J20 49M25 82D60 PDFBibTeX XMLCite \textit{J. B. van den Berg} and \textit{J. F. Williams}, Nonlinearity 30, No. 4, 1584--1638 (2017; Zbl 1366.65068) Full Text: DOI
Capiński, Maciej J.; Mireles James, J. D. Validated computation of heteroclinic sets. (English) Zbl 1418.37125 SIAM J. Appl. Dyn. Syst. 16, No. 1, 375-409 (2017). MSC: 37M25 37C29 34C45 34C05 65L12 65L70 PDFBibTeX XMLCite \textit{M. J. Capiński} and \textit{J. D. Mireles James}, SIAM J. Appl. Dyn. Syst. 16, No. 1, 375--409 (2017; Zbl 1418.37125) Full Text: DOI arXiv