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
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
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
Watanabe, Yoshitaka; Kinoshita, Takehiko; Nakao, Mitsuhiro T. Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces. (English) Zbl 1515.65124 J. Sci. Comput. 94, No. 2, Paper No. 43, 18 p. (2023). MSC: 65J05 35P15 47F05 65G20 PDFBibTeX XMLCite \textit{Y. Watanabe} et al., J. Sci. Comput. 94, No. 2, Paper No. 43, 18 p. (2023; Zbl 1515.65124) Full Text: DOI
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
Miyajima, Shinya Verified computation of matrix gamma function. (English) Zbl 1497.65082 Linear Multilinear Algebra 70, No. 7, 1207-1229 (2022). MSC: 65F60 65G20 15A16 PDFBibTeX XMLCite \textit{S. Miyajima}, Linear Multilinear Algebra 70, No. 7, 1207--1229 (2022; Zbl 1497.65082) Full Text: DOI arXiv
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
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
Miyajima, Shinya Fast verification for the Perron pair of an irreducible nonnegative matrix. (English) Zbl 07373353 Electron. J. Linear Algebra 37, 402-415 (2021). MSC: 65F15 15A18 65G20 PDFBibTeX XMLCite \textit{S. Miyajima}, Electron. J. Linear Algebra 37, 402--415 (2021; Zbl 07373353) Full Text: 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
Miyajima, Shinya Verified computation for the geometric mean of two matrices. (English) Zbl 1472.65055 Japan J. Ind. Appl. Math. 38, No. 1, 211-232 (2021). MSC: 65F99 65G20 47A64 PDFBibTeX XMLCite \textit{S. Miyajima}, Japan J. Ind. Appl. Math. 38, No. 1, 211--232 (2021; Zbl 1472.65055) 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
Calleja, Renato; García-Azpeitia, Carlos; Lessard, Jean-Philippe; Mireles James, J. D. Torus knot choreographies in the \(n\)-body problem. (English) Zbl 1476.70035 Nonlinearity 34, No. 1, 313-348 (2021). MSC: 70F10 70F15 34K13 37C27 37J46 47H10 65G20 PDFBibTeX XMLCite \textit{R. Calleja} et al., Nonlinearity 34, No. 1, 313--348 (2021; Zbl 1476.70035) Full Text: DOI arXiv
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
Lange, Marko; Rump, Siegfried M. Faithfully rounded floating-point computations. (English) Zbl 1484.65350 ACM Trans. Math. Softw. 46, No. 3, Article No. 21, 20 p. (2020). MSC: 65Y04 65G50 PDFBibTeX XMLCite \textit{M. Lange} and \textit{S. M. Rump}, ACM Trans. Math. Softw. 46, No. 3, Article No. 21, 20 p. (2020; Zbl 1484.65350) Full Text: DOI
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
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
Hoshi, Takeo; Ogita, Takeshi; Ozaki, Katsuhisa; Terao, Takeshi An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations. (English) Zbl 1439.65046 J. Comput. Appl. Math. 376, Article ID 112830, 13 p. (2020). Reviewer: Georg Hebermehl (Berlin) MSC: 65F15 65G20 65Z05 68Q60 68N30 35J10 74S25 PDFBibTeX XMLCite \textit{T. Hoshi} et al., J. Comput. Appl. Math. 376, Article ID 112830, 13 p. (2020; Zbl 1439.65046) 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
Minamihata, Atsushi; Ogita, Takeshi; Rump, Siegfried M.; Oishi, Shin’ichi Modified error bounds for approximate solutions of dense linear systems. (English) Zbl 1433.65041 J. Comput. Appl. Math. 369, Article ID 112546, 11 p. (2020). MSC: 65F05 65G20 PDFBibTeX XMLCite \textit{A. Minamihata} et al., J. Comput. Appl. Math. 369, Article ID 112546, 11 p. (2020; Zbl 1433.65041) 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
Bünger, Florian A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB. (English) Zbl 1429.65144 J. Comput. Appl. Math. 368, Article ID 112511, 20 p. (2020). MSC: 65L05 34-04 34A34 65G20 PDFBibTeX XMLCite \textit{F. Bünger}, J. Comput. Appl. Math. 368, Article ID 112511, 20 p. (2020; Zbl 1429.65144) Full Text: DOI
Flegar, Goran; Scheidegger, Florian; Novaković, Vedran; Mariani, Giovani; Tomás, Andrés E.; Malossi, A. Cristiano I.; Quintana-Ortí, Enrique S. FloatX: a C++ library for customized floating-point arithmetic. (English) Zbl 1486.65309 ACM Trans. Math. Softw. 45, No. 4, Article No. 40, 23 p. (2019). MSC: 65Y04 65G99 PDFBibTeX XMLCite \textit{G. Flegar} et al., ACM Trans. Math. Softw. 45, No. 4, Article No. 40, 23 p. (2019; Zbl 1486.65309) Full Text: DOI
Miyajima, Shinya Verified computation for the matrix Lambert \(W\) function. (English) Zbl 1433.65088 Appl. Math. Comput. 362, Article ID 124555, 15 p. (2019). MSC: 65G30 15A15 15A16 65F60 65G20 PDFBibTeX XMLCite \textit{S. Miyajima}, Appl. Math. Comput. 362, Article ID 124555, 15 p. (2019; Zbl 1433.65088) 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
Watanabe, Yoshitaka; Kinoshita, Takehiko; Nakao, Mitsuhiro T. An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space. (English) Zbl 07094577 Japan J. Ind. Appl. Math. 36, No. 2, 407-420 (2019). MSC: 65G20 47F05 35P15 PDFBibTeX XMLCite \textit{Y. Watanabe} et al., Japan J. Ind. Appl. Math. 36, No. 2, 407--420 (2019; Zbl 07094577) Full Text: DOI
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
Miyajima, Shinya Verified computation for the matrix principal logarithm. (English) Zbl 1434.65057 Linear Algebra Appl. 569, 38-61 (2019). MSC: 65F60 15A16 65G20 PDFBibTeX XMLCite \textit{S. Miyajima}, Linear Algebra Appl. 569, 38--61 (2019; Zbl 1434.65057) Full Text: DOI
Kinoshita, Takehiko; Watanabe, Yoshitaka; Nakao, Mitsuhiro T. An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces. (English) Zbl 1506.65069 J. Differ. Equations 266, No. 9, 5431-5447 (2019). MSC: 65J10 65G20 35P15 47F05 PDFBibTeX XMLCite \textit{T. Kinoshita} et al., J. Differ. Equations 266, No. 9, 5431--5447 (2019; Zbl 1506.65069) Full Text: DOI
Miyajima, Shinya Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation. (English) Zbl 1417.65123 J. Comput. Appl. Math. 350, 80-86 (2019). MSC: 65F30 15A24 65G20 PDFBibTeX XMLCite \textit{S. Miyajima}, J. Comput. Appl. Math. 350, 80--86 (2019; Zbl 1417.65123) 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
Miyajima, Shinya Fast verified computation for the solution of the T-congruence Sylvester equation. (English) Zbl 1434.65047 Japan J. Ind. Appl. Math. 35, No. 2, 541-551 (2018). Reviewer: Adhemar Bultheel (Leuven) MSC: 65F45 15A24 65G20 PDFBibTeX XMLCite \textit{S. Miyajima}, Japan J. Ind. Appl. Math. 35, No. 2, 541--551 (2018; Zbl 1434.65047) Full Text: DOI
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
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
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
Breden, Maxime; Lessard, Jean-Philippe Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs. (English) Zbl 1398.65092 Discrete Contin. Dyn. Syst., Ser. B 23, No. 7, 2825-2858 (2018). MSC: 65G20 65P99 65D30 37M99 37C27 PDFBibTeX XMLCite \textit{M. Breden} and \textit{J.-P. Lessard}, Discrete Contin. Dyn. Syst., Ser. B 23, No. 7, 2825--2858 (2018; Zbl 1398.65092) Full Text: DOI arXiv
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)
Muller, Jean-Michel; Brunie, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Torres, Serge Handbook of floating-point arithmetic. 2nd edition. (English) Zbl 1394.65001 Cham: Birkhäuser (ISBN 978-3-319-76525-9/hbk; 978-3-319-76526-6/ebook). xxv, 627 p. (2018). Reviewer: T. C. Mohan (Chennai) MSC: 65-00 68-00 65Y04 65G50 68M07 68N15 68N20 68W35 PDFBibTeX XMLCite \textit{J.-M. Muller} et al., Handbook of floating-point arithmetic. 2nd edition. Cham: Birkhäuser (2018; Zbl 1394.65001) Full Text: DOI
Breden, Maxime; Castelli, Roberto Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof. (English) Zbl 1458.35220 J. Differ. Equations 264, No. 10, 6418-6458 (2018). Reviewer: Marius Ghergu (Dublin) MSC: 35K51 35K59 35Q92 65G20 92D25 65N25 35B35 PDFBibTeX XMLCite \textit{M. Breden} and \textit{R. Castelli}, J. Differ. Equations 264, No. 10, 6418--6458 (2018; Zbl 1458.35220) 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
Weinstein, Matthew J.; Rao, Anil V. Algorithm 984: ADiGator, a toolbox for the algorithmic differentiation of mathematical functions in MATLAB using source transformation via operator overloading. (English) Zbl 1484.65363 ACM Trans. Math. Softw. 44, No. 2, Article No. 21, 25 p. (2017). MSC: 65Y15 65D25 PDFBibTeX XMLCite \textit{M. J. Weinstein} and \textit{A. V. Rao}, ACM Trans. Math. Softw. 44, No. 2, Article No. 21, 25 p. (2017; Zbl 1484.65363) Full Text: DOI
Lessard, Jean-Philippe; Sander, Evelyn; Wanner, Thomas Rigorous continuation of bifurcation points in the diblock copolymer equation. (English) Zbl 1404.35030 J. Comput. Dyn. 4, No. 1-2, 71-118 (2017). MSC: 35B32 35B40 65G20 65P30 35B41 35K55 65G30 65N35 74N99 58E09 35K35 PDFBibTeX XMLCite \textit{J.-P. Lessard} et al., J. Comput. Dyn. 4, No. 1--2, 71--118 (2017; Zbl 1404.35030) Full Text: DOI
Rump, Siegfried M. IEEE754 precision-\(k\) base-\(\beta\) arithmetic inherited by precision-\(m\) base-\(\beta\) arithmetic for \(k<m\). (English) Zbl 1396.65177 ACM Trans. Math. Softw. 43, No. 3, Article No. 20, 15 p. (2017). MSC: 65Y04 PDFBibTeX XMLCite \textit{S. M. Rump}, ACM Trans. Math. Softw. 43, No. 3, Article No. 20, 15 p. (2017; Zbl 1396.65177) 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
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
Miyajima, Shinya Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations. (English) Zbl 1360.65127 J. Comput. Appl. Math. 319, 352-364 (2017). MSC: 65F30 15A24 93C55 93C05 65G30 65F10 PDFBibTeX XMLCite \textit{S. Miyajima}, J. Comput. Appl. Math. 319, 352--364 (2017; Zbl 1360.65127) Full Text: DOI
Mizuguchi, Makoto; Takayasu, Akitoshi; Kubo, Takayuki; Oishi, Shin’ichi Numerical verification for existence of a global-in-time solution to semilinear parabolic equations. (English) Zbl 1357.65051 J. Comput. Appl. Math. 315, 1-16 (2017). MSC: 65G20 65M15 35K20 35K91 PDFBibTeX XMLCite \textit{M. Mizuguchi} et al., J. Comput. Appl. Math. 315, 1--16 (2017; Zbl 1357.65051) Full Text: DOI
Ozaki, Katsuhisa; Ogita, Takeshi; Oishi, Shin’ichi Error-free transformation of matrix multiplication with a posteriori validation. (English) Zbl 1413.65147 Numer. Linear Algebra Appl. 23, No. 5, 931-946 (2016). MSC: 65F30 65G40 PDFBibTeX XMLCite \textit{K. Ozaki} et al., Numer. Linear Algebra Appl. 23, No. 5, 931--946 (2016; Zbl 1413.65147) Full Text: DOI
Rump, Siegfried Michael Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Gleitkommaarithmetik auf dem Prüfstand. Wie werden verifiziert(e) numerische Lösungen berechnet?) (German) Zbl 1372.65140 Jahresber. Dtsch. Math.-Ver. 118, No. 3, 179-226 (2016). MSC: 65G20 65G30 65Y04 PDFBibTeX XMLCite \textit{S. M. Rump}, Jahresber. Dtsch. Math.-Ver. 118, No. 3, 179--226 (2016; Zbl 1372.65140) Full Text: DOI
Dehghani-Madiseh, Marzieh; Dehghan, Mehdi Parametric AE-solution sets to the parametric linear systems with multiple right-hand sides and parametric matrix equation \(A(p)X=B(p)\). (English) Zbl 1356.65113 Numer. Algorithms 73, No. 1, 245-279 (2016). Reviewer: Frank Uhlig (Auburn) MSC: 65F30 65F05 65F10 65G30 PDFBibTeX XMLCite \textit{M. Dehghani-Madiseh} and \textit{M. Dehghan}, Numer. Algorithms 73, No. 1, 245--279 (2016; Zbl 1356.65113) Full Text: DOI
de la Llave, R.; Mireles James, J. D. Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence. (English) Zbl 1343.37078 SIAM J. Appl. Dyn. Syst. 15, No. 2, 1268-1323 (2016). MSC: 37L25 37M99 65P99 65G20 PDFBibTeX XMLCite \textit{R. de la Llave} and \textit{J. D. Mireles James}, SIAM J. Appl. Dyn. Syst. 15, No. 2, 1268--1323 (2016; Zbl 1343.37078) Full Text: DOI
Watanabe, Yoshitaka; Nagatou, Kaori; Plum, Michael; Nakao, Mitsuhiro T. Norm bound computation for inverses of linear operators in Hilbert spaces. (English) Zbl 1398.65094 J. Differ. Equations 260, No. 7, 6363-6374 (2016). MSC: 65G20 47F05 35P15 PDFBibTeX XMLCite \textit{Y. Watanabe} et al., J. Differ. Equations 260, No. 7, 6363--6374 (2016; Zbl 1398.65094) Full Text: DOI
Kobayashi, Kenta On the interpolation constants over triangular elements. (English) Zbl 1363.65014 Brandts, J. (ed.) et al., Proceedings of the international conference ‘Applications of mathematics’, Prague, Czech Republic, November 18–21, 2015. In honor of the birthday anniversaries of Ivo Babuška (90), Milan Práger (85), and Emil Vitásek (85). Prague: Czech Academy of Sciences, Institute of Mathematics (ISBN 978-80-85823-65-3). 110-124 (2015). Reviewer: Takuya Tsuchiya (Matsuyama) MSC: 65D05 65N15 41A05 41A63 65N30 65G20 PDFBibTeX XMLCite \textit{K. Kobayashi}, in: Proceedings of the international conference `Applications of mathematics', Prague, Czech Republic, November 18--21, 2015. In honor of the birthday anniversaries of Ivo Babuška (90), Milan Práger (85), and Emil Vitásek (85). Prague: Czech Academy of Sciences, Institute of Mathematics. 110--124 (2015; Zbl 1363.65014) Full Text: Link
Jacobsen, Charles; Solovyev, Alexey; Gopalakrishnan, Ganesh A parameterized floating-point formalizaton in HOL Light. (English) Zbl 1352.65667 Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 101-107 (2015). MSC: 65Y04 65G50 68T15 PDFBibTeX XMLCite \textit{C. Jacobsen} et al., Electron. Notes Theor. Comput. Sci. 317, 101--107 (2015; Zbl 1352.65667) Full Text: DOI
Birrell, Jeremiah A posteriori error bounds for two point boundary value problems: a Green’s function approach. (English) Zbl 1366.37050 J. Comput. Dyn. 2, No. 2, 143-164 (2015). MSC: 37C27 65G20 34B15 34B27 65L10 65L11 65L70 PDFBibTeX XMLCite \textit{J. Birrell}, J. Comput. Dyn. 2, No. 2, 143--164 (2015; Zbl 1366.37050) Full Text: DOI arXiv
Miyajima, Shinya Fast enclosure for the minimum norm least squares solution of the matrix equation \(AXB=C\). (English) Zbl 1363.65079 Numer. Linear Algebra Appl. 22, No. 3, 548-563 (2015). MSC: 65F30 65F20 15A24 65G20 PDFBibTeX XMLCite \textit{S. Miyajima}, Numer. Linear Algebra Appl. 22, No. 3, 548--563 (2015; Zbl 1363.65079) Full Text: DOI
Kolberg, Mariana; Bohlender, Gerd; Fernandes, Luiz Gustavo An efficient approach to solve very large dense linear systems with verified computing on clusters. (English) Zbl 1363.65088 Numer. Linear Algebra Appl. 22, No. 2, 299-316 (2015). MSC: 65G20 65F05 65Y05 65G30 PDFBibTeX XMLCite \textit{M. Kolberg} et al., Numer. Linear Algebra Appl. 22, No. 2, 299--316 (2015; Zbl 1363.65088) Full Text: DOI
Miyajima, Shinya Fast verified computation for solutions of continuous-time algebraic Riccati equations. (English) Zbl 1329.65093 Japan J. Ind. Appl. Math. 32, No. 2, 529-544 (2015). Reviewer: Michael Jung (Dresden) MSC: 65G20 15A24 65F30 93C05 65G30 PDFBibTeX XMLCite \textit{S. Miyajima}, Japan J. Ind. Appl. Math. 32, No. 2, 529--544 (2015; Zbl 1329.65093) Full Text: DOI
Ozaki, Katsuhisa; Ogita, Takeshi; Oishi, Shin’ichi Improvement of error-free splitting for accurate matrix multiplication. (English) Zbl 1320.65070 J. Comput. Appl. Math. 288, 127-140 (2015). MSC: 65F99 65Y99 PDFBibTeX XMLCite \textit{K. Ozaki} et al., J. Comput. Appl. Math. 288, 127--140 (2015; Zbl 1320.65070) Full Text: DOI
Cui, Yan; An, Ruxiao; Ariyur, Kartik B. Cellphone geolocation via magnetic mapping. (English) Zbl 1309.93112 Automatica 51, 70-79 (2015). MSC: 93C95 65G30 93B40 PDFBibTeX XMLCite \textit{Y. Cui} et al., Automatica 51, 70--79 (2015; Zbl 1309.93112) Full Text: DOI
Miyajima, Shinya Fast enclosure for a matrix inverse square root. (English) Zbl 1305.65133 Linear Algebra Appl. 467, 116-135 (2015). MSC: 65F30 65G30 65F05 65G20 PDFBibTeX XMLCite \textit{S. Miyajima}, Linear Algebra Appl. 467, 116--135 (2015; Zbl 1305.65133) Full Text: DOI
Dehghani-Madiseh, Marzieh; Dehghan, Mehdi Generalized solution sets of the interval generalized Sylvester matrix equation \(\sum_{i=1}^p\mathbf A_iX_i+\sum_{j=1}^qY_j\mathbf B_j=\mathbf C\) and some approaches for inner and outer estimations. (English) Zbl 1368.15012 Comput. Math. Appl. 68, No. 12, Part A, 1758-1774 (2014). MSC: 15A24 65F30 65G40 PDFBibTeX XMLCite \textit{M. Dehghani-Madiseh} and \textit{M. Dehghan}, Comput. Math. Appl. 68, No. 12, Part A, 1758--1774 (2014; Zbl 1368.15012) Full Text: DOI
Moré, Jorge J.; Wild, Stefan M. Do you trust derivatives or differences? (English) Zbl 1352.65668 J. Comput. Phys. 273, 268-277 (2014). MSC: 65Y04 PDFBibTeX XMLCite \textit{J. J. Moré} and \textit{S. M. Wild}, J. Comput. Phys. 273, 268--277 (2014; Zbl 1352.65668) Full Text: DOI
Goualard, Frédéric How do you compute the midpoint of an interval? (English) Zbl 1305.65252 ACM Trans. Math. Softw. 40, No. 2, Article No. 11, 25 p. (2014). MSC: 65Y04 65G30 65G50 68N30 PDFBibTeX XMLCite \textit{F. Goualard}, ACM Trans. Math. Softw. 40, No. 2, Article No. 11, 25 p. (2014; Zbl 1305.65252) Full Text: DOI HAL
Walter, Éric Numerical methods and optimization. A consumer guide. (English) Zbl 1328.65006 Cham: Springer (ISBN 978-3-319-07670-6/hbk; 978-3-319-07671-3/ebook). xv, 476 p. (2014). Reviewer: Octavian Pastravanu (Iaşi) MSC: 65-01 00A06 90-01 00A69 65Dxx 65Fxx 65Hxx 65Kxx 65Lxx 65Mxx 65Nxx PDFBibTeX XMLCite \textit{É. Walter}, Numerical methods and optimization. A consumer guide. Cham: Springer (2014; Zbl 1328.65006) Full Text: DOI
Li, Nan; Zhi, Lihong Verified error bounds for isolated singular solutions of polynomial systems. (English) Zbl 1310.65056 SIAM J. Numer. Anal. 52, No. 4, 1623-1640 (2014). Reviewer: Guillermo Matera (Buenos Aires) MSC: 65H10 65G20 68W30 65H04 13P10 65E05 30C10 PDFBibTeX XMLCite \textit{N. Li} and \textit{L. Zhi}, SIAM J. Numer. Anal. 52, No. 4, 1623--1640 (2014; Zbl 1310.65056) Full Text: DOI arXiv
Watanabe, Yoshitaka; Nagatou, Kaori; Plum, Michael; Nakao, Mitsuhiro T. Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces. (English) Zbl 1294.35047 SIAM J. Numer. Anal. 52, No. 2, 975-992 (2014). MSC: 35P15 34L15 47A10 65G20 65N25 PDFBibTeX XMLCite \textit{Y. Watanabe} et al., SIAM J. Numer. Anal. 52, No. 2, 975--992 (2014; Zbl 1294.35047) Full Text: DOI
Rump, Siegfried M. Improved componentwise verified error bounds for least squares problems and underdetermined linear systems. (English) Zbl 1293.65062 Numer. Algorithms 66, No. 2, 309-322 (2014). MSC: 65F20 65G20 PDFBibTeX XMLCite \textit{S. M. Rump}, Numer. Algorithms 66, No. 2, 309--322 (2014; Zbl 1293.65062) Full Text: DOI
Frommer, Andreas; Hashemi, Behnam; Sablik, Thomas Computing enclosures for the inverse square root and the sign function of a matrix. (English) Zbl 1293.65071 Linear Algebra Appl. 456, 199-213 (2014). MSC: 65F30 15A24 65G30 65G20 PDFBibTeX XMLCite \textit{A. Frommer} et al., Linear Algebra Appl. 456, 199--213 (2014; Zbl 1293.65071) Full Text: DOI
Miyajima, Shinya Componentwise enclosure for solutions of least squares problems and underdetermined systems. (English) Zbl 1329.65081 Linear Algebra Appl. 444, 28-41 (2014). MSC: 65F20 15A06 65G50 65G20 PDFBibTeX XMLCite \textit{S. Miyajima}, Linear Algebra Appl. 444, 28--41 (2014; Zbl 1329.65081) Full Text: DOI
Černý, Michal; Antoch, Jaromír; Hladík, Milan On the possibilistic approach to linear regression models involving uncertain, indeterminate or interval data. (English) Zbl 1357.62237 Inf. Sci. 244, 26-47 (2013). MSC: 62J05 62J86 68Q25 PDFBibTeX XMLCite \textit{M. Černý} et al., Inf. Sci. 244, 26--47 (2013; Zbl 1357.62237) Full Text: DOI
Rebner, Gabor; Beer, Michael; Auer, Ekaterina; Stein, Matthias Verified stochastic methods. (English) Zbl 1327.65020 Soft Comput. 17, No. 8, 1415-1423 (2013). MSC: 65C40 60J22 65G20 65G30 PDFBibTeX XMLCite \textit{G. Rebner} et al., Soft Comput. 17, No. 8, 1415--1423 (2013; Zbl 1327.65020) Full Text: DOI
Patterson, Michael A.; Weinstein, Matthew; Rao, Anil V. An efficient overloaded method for computing derivatives of mathematical functions in MATLAB. (English) Zbl 1295.65027 ACM Trans. Math. Softw. 39, No. 3, Article No. 17, 36 p. (2013). MSC: 65D25 65Y15 PDFBibTeX XMLCite \textit{M. A. Patterson} et al., ACM Trans. Math. Softw. 39, No. 3, Article No. 17, 36 p. (2013; Zbl 1295.65027) Full Text: DOI
Li, Nan; Zhi, Lihong Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one. (English) Zbl 1291.65161 Theor. Comput. Sci. 479, 163-173 (2013). MSC: 65H10 68W30 13P15 65G20 PDFBibTeX XMLCite \textit{N. Li} and \textit{L. Zhi}, Theor. Comput. Sci. 479, 163--173 (2013; Zbl 1291.65161) Full Text: DOI arXiv
Campos, Marcilia A.; das Gracas dos Santos, M. Interval probabilities and enclosures. (English) Zbl 1278.65054 Comput. Appl. Math. 32, No. 3, 413-423 (2013). MSC: 65G20 65G40 65C50 60H25 PDFBibTeX XMLCite \textit{M. A. Campos} and \textit{M. das Gracas dos Santos}, Comput. Appl. Math. 32, No. 3, 413--423 (2013; Zbl 1278.65054) Full Text: DOI
Krämer, Walter High performance verified computing using C-XSC. (English) Zbl 1278.65056 Comput. Appl. Math. 32, No. 3, 385-400 (2013). MSC: 65G20 65Y05 65Y15 65G30 65F50 65F05 PDFBibTeX XMLCite \textit{W. Krämer}, Comput. Appl. Math. 32, No. 3, 385--400 (2013; Zbl 1278.65056) Full Text: DOI
Rump, Siegfried M. Accurate solution of dense linear systems. II: Algorithms using directed rounding. (English) Zbl 1260.65034 J. Comput. Appl. Math. 242, 185-212 (2013). Reviewer: Constantin Popa (Constanţa) MSC: 65F22 65F05 65G20 PDFBibTeX XMLCite \textit{S. M. Rump}, J. Comput. Appl. Math. 242, 185--212 (2013; Zbl 1260.65034) Full Text: DOI
Birkisson, Asgeir; Driscoll, Tobin A. Automatic Fréchet differentiation for the numerical solution of boundary-value problems. (English) Zbl 1365.65192 ACM Trans. Math. Softw. 38, No. 4, Article No. 26, 29 p. (2012). MSC: 65L10 65D25 65Y15 PDFBibTeX XMLCite \textit{A. Birkisson} and \textit{T. A. Driscoll}, ACM Trans. Math. Softw. 38, No. 4, Article No. 26, 29 p. (2012; Zbl 1365.65192) Full Text: DOI
Hladík, Milan Enclosures for the solution set of parametric interval linear systems. (English) Zbl 1310.65051 Int. J. Appl. Math. Comput. Sci. 22, No. 3, 561-574 (2012). Reviewer: Jiří Rohn (Praha) MSC: 65G30 65F30 PDFBibTeX XMLCite \textit{M. Hladík}, Int. J. Appl. Math. Comput. Sci. 22, No. 3, 561--574 (2012; Zbl 1310.65051) Full Text: DOI
Glomski, Matthew; Johnson, Matthew A. A precise calculation of the critical Rayleigh number and wave number for the rigid-free Rayleigh-Bénard problem. (English) Zbl 1262.76039 Appl. Math. Sci., Ruse 6, No. 101-104, 5097-5108 (2012). MSC: 76E06 65G20 76E05 PDFBibTeX XMLCite \textit{M. Glomski} and \textit{M. A. Johnson}, Appl. Math. Sci., Ruse 6, No. 101--104, 5097--5108 (2012; Zbl 1262.76039) Full Text: Link
Hashemi, Behnam; Dehghan, Mehdi The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set. (English) Zbl 1255.15002 Math. Comput. Modelling 55, No. 3-4, 622-633 (2012). MSC: 15A06 65F30 65G40 PDFBibTeX XMLCite \textit{B. Hashemi} and \textit{M. Dehghan}, Math. Comput. Modelling 55, No. 3--4, 622--633 (2012; Zbl 1255.15002) Full Text: DOI
Rump, Siegfried M. Fast interval matrix multiplication. (English) Zbl 1264.65065 Numer. Algorithms 61, No. 1, 1-34 (2012). Reviewer: Günter Mayer (Rostock) MSC: 65F30 65G30 PDFBibTeX XMLCite \textit{S. M. Rump}, Numer. Algorithms 61, No. 1, 1--34 (2012; Zbl 1264.65065) Full Text: DOI
Voos, Friederike Result verification for the real quadratic eigenvalue problem. (English) Zbl 1256.65030 SIAM J. Matrix Anal. Appl. 33, No. 2, 369-387 (2012). Reviewer: Günter Mayer (Rostock) MSC: 65F15 65G20 65G30 PDFBibTeX XMLCite \textit{F. Voos}, SIAM J. Matrix Anal. Appl. 33, No. 2, 369--387 (2012; Zbl 1256.65030) Full Text: DOI
Rump, Siegfried M. Verified bounds for least squares problems and underdetermined linear systems. (English) Zbl 1255.65082 SIAM J. Matrix Anal. Appl. 33, No. 1, 130-148 (2012). Reviewer: Pavel Jiránek (Toulouse) MSC: 65F20 65G20 PDFBibTeX XMLCite \textit{S. M. Rump}, SIAM J. Matrix Anal. Appl. 33, No. 1, 130--148 (2012; Zbl 1255.65082) Full Text: DOI Link
Fogelklou, Oswald; Tucker, Warwick; Kreiss, Gunilla A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity. (English) Zbl 1258.65092 NoDEA, Nonlinear Differ. Equ. Appl. 19, No. 1, 97-131 (2012). Reviewer: Przemyslaw Stpiczynski (Lublin) MSC: 65M99 65G20 35L65 65Y15 PDFBibTeX XMLCite \textit{O. Fogelklou} et al., NoDEA, Nonlinear Differ. Equ. Appl. 19, No. 1, 97--131 (2012; Zbl 1258.65092) Full Text: DOI
Ozaki, Katsuhisa; Ogita, Takeshi; Rump, Siegfried M.; Oishi, Shin’ichi Fast algorithms for floating-point interval matrix multiplication. (English) Zbl 1248.65044 J. Comput. Appl. Math. 236, No. 7, 1795-1814 (2012). Reviewer: Jiří Rohn (Praha) MSC: 65F30 65G30 65G20 PDFBibTeX XMLCite \textit{K. Ozaki} et al., J. Comput. Appl. Math. 236, No. 7, 1795--1814 (2012; Zbl 1248.65044) Full Text: DOI
Rebner, Gabor; Auer, Ekaterina; Luther, Wolfram A verified realization of a Dempster-Shafer based fault tree analysis. (English) Zbl 1238.65038 Computing 94, No. 2-4, 313-324 (2012). MSC: 65G20 60A99 65G40 PDFBibTeX XMLCite \textit{G. Rebner} et al., Computing 94, No. 2--4, 313--324 (2012; Zbl 1238.65038) Full Text: DOI
Garloff, Jürgen Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations. (English) Zbl 1238.65019 Computing 94, No. 2-4, 97-107 (2012). MSC: 65F05 65G20 65G30 PDFBibTeX XMLCite \textit{J. Garloff}, Computing 94, No. 2--4, 97--107 (2012; Zbl 1238.65019) Full Text: DOI
Zimmer, Michael; Krämer, Walter; Popova, Evgenija D. Solvers for the verified solution of parametric linear systems. (English) Zbl 1238.65021 Computing 94, No. 2-4, 109-123 (2012). MSC: 65F05 65F50 65G20 65G99 65Y05 65Y20 PDFBibTeX XMLCite \textit{M. Zimmer} et al., Computing 94, No. 2--4, 109--123 (2012; Zbl 1238.65021) Full Text: DOI
Ozaki, Katsuhisa; Ogita, Takeshi; Oishi, Shin’ichi; Rump, Siegfried M. Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications. (English) Zbl 1244.65062 Numer. Algorithms 59, No. 1, 95-118 (2012). Reviewer: Frank Uhlig (Auburn) MSC: 65F30 15A24 PDFBibTeX XMLCite \textit{K. Ozaki} et al., Numer. Algorithms 59, No. 1, 95--118 (2012; Zbl 1244.65062) Full Text: DOI
Frommer, Andreas; Hashemi, Behnam Verified error bounds for solutions of Sylvester matrix equations. (English) Zbl 1236.65045 Linear Algebra Appl. 436, No. 2, 405-420 (2012). Reviewer: Constantin Popa (Constanţa) MSC: 65F30 15A24 65F05 65G20 65G30 PDFBibTeX XMLCite \textit{A. Frommer} and \textit{B. Hashemi}, Linear Algebra Appl. 436, No. 2, 405--420 (2012; Zbl 1236.65045) Full Text: DOI
Ozaki, Katsuhisa; Ogita, Takeshi; Oishi, Shin’ichi Tight and efficient enclosure of matrix multiplication by using optimized BLAS. (English) Zbl 1249.65098 Numer. Linear Algebra Appl. 18, No. 2, 237-248 (2011). MSC: 65F30 65G30 65G20 PDFBibTeX XMLCite \textit{K. Ozaki} et al., Numer. Linear Algebra Appl. 18, No. 2, 237--248 (2011; Zbl 1249.65098) Full Text: DOI
Rump, Siegfried M. Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse. (English) Zbl 1226.65028 BIT 51, No. 2, 367-384 (2011). Reviewer: Constantin Popa (Constanţa) MSC: 65F15 65F20 65G20 15A18 15A60 PDFBibTeX XMLCite \textit{S. M. Rump}, BIT 51, No. 2, 367--384 (2011; Zbl 1226.65028) Full Text: DOI
Rohn, Jiri An algorithm for computing the hull of the solution set of interval linear equations. (English) Zbl 1253.65064 Linear Algebra Appl. 435, No. 2, 193-201 (2011). MSC: 65F30 65G30 PDFBibTeX XMLCite \textit{J. Rohn}, Linear Algebra Appl. 435, No. 2, 193--201 (2011; Zbl 1253.65064) Full Text: DOI
Chen, Xiaojun; Frommer, Andreas; Lang, Bruno Computational existence proofs for spherical \(t\)-designs. (English) Zbl 1208.65032 Numer. Math. 117, No. 2, 289-305 (2011). MSC: 65D32 41A55 41A63 65H10 65G30 65G20 PDFBibTeX XMLCite \textit{X. Chen} et al., Numer. Math. 117, No. 2, 289--305 (2011; Zbl 1208.65032) Full Text: DOI