Found 100 Documents (Results 1–100)
Shape optimization for the Laplacian eigenvalue over triangles and its application to interpolation error analysis. (English) Zbl 1526.35251
Fast verified computation for real powers of large matrices with Kronecker structure. (English) Zbl 07702357
Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems. (English) Zbl 1512.65061
MSC:
65F15
Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation. (English) Zbl 1498.65058
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
Improvement of the conformal map combined with the sinc approximation for unilateral rapidly decreasing functions. (English) Zbl 1515.81076
Verified computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencils. (English) Zbl 1449.65079
Explicit eigenvalue bounds of differential operators defined by symmetric positive semi-definite bilinear forms. (English) Zbl 1433.65054
Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems. (English) Zbl 1431.65044
Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations. (English) Zbl 1437.65025
Rigorous numerical computations for 1D advection equations with variable coefficients. (English) Zbl 07094575
Numerical verification methods and computer-assisted proofs for partial differential equations. (English) Zbl 1462.65004
Springer Series in Computational Mathematics 53. Singapore: Springer (ISBN 978-981-13-7668-9/hbk; 978-981-13-7669-6/ebook). xiii, 467 p. (2019).
Reviewer: Rózsa Horváth-Bokor (Budakalász)
Verified computation of the matrix exponential. (English) Zbl 1447.65009
Reviewer: John D. Dixon (Ottawa)
Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation. (English) Zbl 1417.65123
Explicit bound for quadratic Lagrange interpolation constant on triangular finite elements. (English) Zbl 1426.65013
The united stable solution set of interval continuous-time algebraic Riccati equation and verified numerical computation of its outer estimation. (English) Zbl 1424.65051
Fast verified computation for the solution of the T-congruence Sylvester equation. (English) Zbl 1434.65047
Reviewer: Adhemar Bultheel (Leuven)
Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation. (English) Zbl 1432.65051
Fast verified computation for the solvent of the quadratic matrix equation. (English) Zbl 1391.65108
Verified computations using Taylor models and their applications. (English) Zbl 1515.65112
Abate, Alessandro (ed.) et al., Numerical software verification. 10th international workshop, NSV 2017, Heidelberg, Germany, July 22–23, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10381, 3-13 (2017).
MSC:
65G30
On interval methods with zero rewriting and exact geometric computation. (English) Zbl 1433.68502
Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 211-226 (2017).
Fast verified computation for solutions of algebraic Riccati equations arising in transport theory. (English) Zbl 1438.65080
Application of numerical probabilistic analysis in interpolation problems. (Russian. English summary) Zbl 1378.65044
A verified algorithm enumerating event structures. (English) Zbl 1367.68245
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 239-254 (2017).
Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations. (English) Zbl 1360.65127
Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain. (English) Zbl 1382.65149
Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations. (English) Zbl 1353.65034
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL. (English) Zbl 1348.68213
Precision-driven computation in the evaluation of expression-dags with common subexpressions: problems and solutions. (English) Zbl 1460.65018
Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 451-465 (2016).
Verified error bounds for the real gamma function using double exponential formula over semi-infinite interval. (English) Zbl 1460.65020
Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 224-228 (2016).
Numerical verification of positiveness for solutions to semilinear elliptic problems. (English) Zbl 1412.65232
A framework of verified eigenvalue bounds for self-adjoint differential operators. (English) Zbl 1410.35088
Fast enclosure for the minimum norm least squares solution of the matrix equation \(AXB=C\). (English) Zbl 1363.65079
An efficient approach to solve very large dense linear systems with verified computing on clusters. (English) Zbl 1363.65088
Fast verified computation for solutions of continuous-time algebraic Riccati equations. (English) Zbl 1329.65093
Reviewer: Michael Jung (Dresden)
High-precision eigenvalue bound for the Laplacian with singularities. (English) Zbl 1336.65186
Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 311-323 (2014).
A verified method of singular solutions of overdetermined nonlinear systems. (Chinese. English summary) Zbl 1324.65083
Verified bounds for all the singular values of matrix. (English) Zbl 1312.65062
Reviewer: Constantin Popa (Constanţa)
Computing enclosures for the inverse square root and the sign function of a matrix. (English) Zbl 1293.65071
Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape. (English) Zbl 1273.65179
Error estimates with explicit constants for sinc approximation, sinc quadrature and sinc indefinite integration. (English) Zbl 1281.65020
Reviewer: Ana-Maria Acu (Sibiu)
Type classes for efficient exact real arithmetic in Coq. (English) Zbl 1260.68378
MSC:
68T15
65G99
On the properties of Sard kernels and multiple error estimates for bounded linear functionals of bivariate functions with application to non-product cubature. (English) Zbl 1259.65052
Reviewer: Manfred Tasche (Rostock)
Proofs, programs, processes. (English) Zbl 1280.68078
A robust algorithm for geometric predicate by error-free determinant transformation. (English) Zbl 1257.65010
Reviewer: Jong Hyuk Park (Ulsan)
A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure. (English) Zbl 1238.65037
MSC:
65G20
Verified error bounds for solutions of Sylvester matrix equations. (English) Zbl 1236.65045
Reviewer: Constantin Popa (Constanţa)
Refining and verifying the solution of a linear system. (English) Zbl 1347.65066
Moreno Maza, Marc (ed.), Proceedings of the 2011 international workshop on symbolic-numeric computation, SNC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0515-0). 165-167 (2011).
Tight and efficient enclosure of matrix multiplication by using optimized BLAS. (English) Zbl 1249.65098
An algorithm for automatically selecting a suitable verification method for linear systems. (English) Zbl 1209.65051
The impact of data distribution in accuracy and performance of parallel linear algebra subroutines. (English) Zbl 1323.65131
Palma, José M. Laginha M. (ed.) et al., High performance computing for computational science – VECPAR 2010. 9th international conference, Berkeley, CA, USA, June 22–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19327-9/pbk). Lecture Notes in Computer Science 6449, 394-407 (2011).
Iterative refinement for ill-conditioned linear systems. (English) Zbl 1188.65053
Reviewer: Constantin Popa (Constanţa)
MSC:
65F22
Computer arithmetic and validity. Theory, implementation, and applications. (English) Zbl 1149.65034
de Gruyter Studies in Mathematics 33. Berlin: de Gruyter (ISBN 978-3-11-020318-9/hbk; 978-3-11-020319-6/ebook). xvii, 409 p. (2008).
Reviewer: Günter Mayer (Rostock)
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. (English) Zbl 1123.68036
A method for separating nearly multiple eigenvalues for Hermitian matrix. (English) Zbl 1112.65032
Reviewer: Ludwig Elsner (Bielefeld)
A method of obtaining verified solutions for linear systems suited for Java. (English) Zbl 1108.65019
On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains. (English) Zbl 1108.65109
Efficient and reliable multiprecision implementation of elementary and special functions. (English) Zbl 1132.33342
Result-verifying solution of nonlinear systems in the analysis of chemical processes. (English) Zbl 1126.65314
Alt, René (ed.) et al., Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19–24, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21260-4/pbk). Lecture Notes in Computer Science 2991, 198-205 (2004).
Existence verification for higher degree singular zeros of nonlinear systems. (English) Zbl 1059.65045
Verified high-order inversion of functional dependencies and interval Newton methods. (English) Zbl 1016.65030
Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation. (English) Zbl 0978.65026
Reviewer: Günter Mayer (Speyer)
Verified solution of large linear and nonlinear systems. (English) Zbl 0943.65039
Bulgak, Haydar (ed.) et al., Error control and adaptivity in scientific computing. Proceedings of the NATO ASI, Antalya, Turkey, August 9-21, 1998. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 536, 279-298 (1999).
Inclusion of zeros of nowhere differentiable \(n\)-dimensional functions. (English) Zbl 0883.65041
Reviewer: N.Vulchanov (Sofia)
Verified computation of repeatedly iterated singular integrals of gas kinetics. (Verifizierte Berechnung mehrfach geschachtelter singulärer Integrale der Gaskinetik.) (German) Zbl 0889.65019
Karlsruhe: Univ. Karlsruhe, Fakultät Mathematik, 134 S. (1995).
Design of a parallel linear algebra library for verified computation. (English) Zbl 0839.65055
Reviewer: W.Schönauer (Karlsruhe)
A unified approach to enclosure methods for eigenpairs. (English) Zbl 0817.65028
Reviewer: S.Markov (Sofia)
Testing and verifying concurrent objects. (English) Zbl 0780.68093
Reviewer: Jeannette M.Wing
Verified solution of eigenvalue problems with sparse matrices. (English) Zbl 0773.65023
Computational and applied mathematics, I. Algorithms and theory, Sel. Rev. Pap. IMACS 13th World Congr., Dublin/Irel. 1991, 277-287 (1992).
Reviewer: A.L.Andrew (Bundoora)
Verifizierte Einschließung von Eigenwerten und Eigenräumen reeller symmetrischer Matrizen und ihre Anwendung auf die kontrollierte Berechnung dreidimensionaler Helmerttransformationen. (Verified inclusion of eigenvalues and eigenspaces of real symmetric matrices and its application to a controlled computation of three-dimensional Helmert transformations). (German) Zbl 0707.65023
Wuppertal: GHS Wuppertal, Diss. 93 S. (1990).
Two methods for the verified inclusion of zeros of complex polynomials. (English) Zbl 0784.65043
Ullrich, Christian (ed.), Contributions to computer arithmetic and self- validating numerical methods. Papers from the first international conference held at the University of Basel, Switzerland, October 2-6, 1989. Basel: J. C. Baltzer AG, IMACS Ann. Comput. Appl. Math. 7, 229-244 (1990).
Verified inclusions for eigenvalues and eigenvectors of real symmetric matrices. (English) Zbl 0784.65027
Ullrich, Christian (ed.), Contributions to computer arithmetic and self- validating numerical methods. Papers from the first international conference held at the University of Basel, Switzerland, October 2-6, 1989. Basel: J. C. Baltzer AG, IMACS Ann. Comput. Appl. Math. 7, 111-125 (1990).
Highly accurate numerical algorithms. (English) Zbl 0692.65026
Accurate numerical algorithms, Coll. Res. Pap., Res. Rep. ESPRIT, Proj. 1072, DIAMOND, 1, 1-58 (1989).
Reviewer: W.Zulehner
Filter Results by …
Document Type
- Journal Articles (82)
- Collection Articles (14)
- Books (4)
all
top 5
Author
- Miyajima, Shinya (27)
- Oishi, Shin’ichi (13)
- Ogita, Takeshi (7)
- Ozaki, Katsuhisa (5)
- Rump, Siegfried Michael (5)
- Liu, Xuefeng (4)
- Okayama, Tomoaki (4)
- Frommer, Andreas (3)
- Hashemi, Behnam (3)
- Krämer, Walter (3)
- Takayasu, Akitoshi (3)
- Berz, Martin (2)
- Haqiri, Tayyebe (2)
- Imakura, Akira (2)
- Kolberg, Mariana Luderitz (2)
- Kulisch, Ulrich W. (2)
- Lang, Bruno (2)
- Mizuguchi, Makoto (2)
- Morikuni, Keiichi (2)
- Schirra, Stefan (2)
- Sekine, Kouta (2)
- Tanaka, Kazuaki (2)
- Wolff von Gudenberg, Jürgen (2)
- Yamanaka, Naoya (2)
- Althoff, Klaus Schulte (1)
- Aransay, Jesús (1)
- Arendt, Luis P. (1)
- Auer, Ekaterina (1)
- Beelitz, Thomas (1)
- Berger, Ulrich (1)
- Bischof, Christian H. (1)
- Bleher, J. Hartmut (1)
- Bohlender, Gerd (1)
- Börger, Egon (1)
- Caminati, Marco Bright (1)
- Catalano, Dario (1)
- Chen, Chin-Yun (1)
- Cuyt, Annie A. M. (1)
- Di Raimondo, Mario (1)
- Dian, Jianwei (1)
- Dimitrova, Neli S. (1)
- Divasón, Jose (1)
- Do Carmo, Andriele (1)
- Domes, Ferenc (1)
- Dyllong, Eva (1)
- Endo, Ryoki (1)
- Endo, Yasunori (1)
- Faro, Simone (1)
- Fernandes, Luiz Gustavo (1)
- Genma, Kenta (1)
- Geörg, Stefan (1)
- Gong, Chun (1)
- Hannan, John (1)
- Heuveline, Vincent (1)
- Hoefkens, Jens (1)
- Hölbig, Carlos Amaral (1)
- Jackson, Kenneth R. (1)
- Katagiri, Takahiro (1)
- Kearfott, Baker (1)
- Kiel, Stefan (1)
- Klug, Uwe (1)
- Krebbers, Robbert (1)
- Krivsky, Stefanie (1)
- Küster Filipe Bowles, Juliana (1)
- Makino, Kyoko (1)
- Markov, Svetoslav Marinovich (1)
- Matsuo, Takayasu (1)
- Mayer, Günter (1)
- Metzger, Michael (1)
- Miller, Dale Allen (1)
- Mohseni Moghadam, Mahmoud (1)
- Mörig, Marc (1)
- Nakao, Mitsuhiro T. (1)
- Nedialkov, Nedialko S. (1)
- Neher, Markus (1)
- Neumaier, Arnold (1)
- Nguyen, Hong Diep (1)
- Niu, Xiaoming (1)
- Plum, Michael (1)
- Poloni, Federico Giovanni (1)
- Popova, Olga Arkadevna (1)
- Revol, Nathalie (1)
- Rivaz, Azim (1)
- Rocker, Björn (1)
- Sablik, Thomas (1)
- Sakurai, Tetsuya (1)
- Sang, Haifeng (1)
- Schumacher, Günter (1)
- Seisenberger, Monika (1)
- Shiraishi, Tomoya (1)
- Spitters, Bas (1)
- Storck, Ulrike (1)
- Sugihara, Masaaki (1)
- Sugiura, Hiroshi (1)
- Terao, Takeshi (1)
- Toyonaga, Kenji (1)
- Ullrich, Christian P. (1)
- Verdonk, Brigitte M. (1)
- Waadeland, Haakon (1)
- Walter, Wolfgang (1)
- and 7 more Authors
all
top 5
Serial
- J. Comput. Appl. Math. (15)
- Japan J. Ind. Appl. Math. (8)
- Linear Algebra Appl. (6)
- Appl. Math. Comput. (5)
- Numer. Linear Algebra Appl. (4)
- Reliab. Comput. (4)
- SIAM J. Numer. Anal. (3)
- Comput. Appl. Math. (3)
- Computing (2)
- Numer. Math. (2)
- Formal Asp. Comput. (2)
- Numer. Algorithms (2)
- Electron. J. Linear Algebra (2)
- JSIAM Lett. (2)
- Linear Multilinear Algebra (1)
- Z. Angew. Math. Mech. (1)
- Calcolo (1)
- J. Differ. Equations (1)
- Inf. Comput. (1)
- J. Sci. Comput. (1)
- J. Parallel Distrib. Comput. (1)
- Math. Struct. Comput. Sci. (1)
- Appl. Math., Praha (1)
- SIAM J. Sci. Comput. (1)
- Turk. J. Math. (1)
- ETNA, Electron. Trans. Numer. Anal. (1)
- Adv. Comput. Math. (1)
- Constraints (1)
- Theory Comput. Syst. (1)
- Vychisl. Tekhnol. (1)
- J. Jilin Univ., Sci. (1)
- J. Discrete Algorithms (1)
- De Gruyter Stud. Math. (1)
- Springer Ser. Comput. Math. (1)
- Log. Methods Comput. Sci. (1)
- RIMS Kôkyûroku Bessatsu (1)
- Serdica J. Comput. (1)
- J. Math. Res. Appl. (1)
all
top 3
Software
- INTLAB (46)
- mftoolbox (20)
- VERSOFT (11)
- mctoolbox (11)
- C-XSC 2.0 (10)
- C-XSC (8)
- Matlab (8)
- NACLab (7)
- LAPACK (5)
- Cosy (4)
- ScaLAPACK (4)
- BLAS (3)
- PBLAS (3)
- ACL2 (2)
- Algorithm 432 (2)
- Coq (2)
- DAREX (2)
- FADBAD++ (2)
- INTOPT_90 (2)
- Isabelle (2)
- Isabelle/HOL (2)
- MATLAB expm (2)
- Maple (2)
- PROFIL/BIAS (2)
- constant_estimation (2)
- kv (2)
- ACRITH-XSC (1)
- ASM Workbench (1)
- ASMKeY (1)
- AggDef2 (1)
- Algorithm 876 (1)
- Archive Formal Proofs (1)
- BARON (1)
- C-CoRN (1)
- CAREX (1)
- CHOLMOD (1)
- CIRR (1)
- COCONUT (1)
- COPRIN (1)
- CSparse (1)
- CTDSX (1)
- CTLEX (1)
- Cayley-Hamilton (1)
- Chebfun (1)
- CoreASM (1)
- ELSES (1)
- Echelon Form (1)
- FALKO (1)
- FastPILSS (1)
- FinFuns (1)
- Flocq (1)
- GLOPT (1)
- GLOPTLAB (1)
- Gauss-Jordan (1)
- HOL (1)
- Haskell (1)
- Hull (1)
- ICOS (1)
- ITER-REF (1)
- IbexOpt (1)
- JAMA (1)
- JAMPACK (1)
- JLAPACK (1)
- Jordan Normal Forms (1)
- Libgcrypt (1)
- Lifting (1)
- MAGMA (1)
- ML (1)
- MOBILE (1)
- MPACK (1)
- MPI (1)
- Mathematica (1)
- Matita (1)
- Mizar (1)
- NTL (1)
- Newton (1)
- Numerica (1)
- OEIS (1)
- PASCAL-XSC (1)
- PGDoubling (1)
- PLASMA (1)
- PSICO (1)
- PUMMA (1)
- ParLinSys (1)
- Pascal-SC (1)
- Poly/ML (1)
- QR Decomposition (1)
- RODES (1)
- RealPaver (1)
- Sinc-Pack (1)
- SparseMatrix (1)
- TADIFF (1)
- Transfer (1)
- Triangle (1)
- UMFPACK (1)
- V-Clip (1)
- XASM (1)
- XBLAS (1)
- filib++ (1)
- funm (1)
- and 6 more Software Packages