Found 21 Documents (Results 1–21)
An efficient approach to solve very large dense linear systems with verified computing on clusters. (English) Zbl 1363.65088
ANTIGONE: algorithms for coNTinuous/Integer global optimization of nonlinear equations. (English) Zbl 1301.90063
A graduate introduction to numerical methods. From the viewpoint of backward error analysis. (English) Zbl 1295.65001
New York, NY: Springer (ISBN 978-1-4614-8452-3/hbk; 978-1-4614-8453-0/ebook). xxxix, 868 p. (2013).
Reviewer: Robert Plato (Siegen)
Result verification for the real quadratic eigenvalue problem. (English) Zbl 1256.65030
Reviewer: Günter Mayer (Rostock)
Solving dense interval linear systems with verified computing on multicore architectures. (English) Zbl 1323.65137
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, 435-448 (2011).
Expanding the statistical flowgraph model framework to use any transition distribution. (English) Zbl 1420.62514
Interval subroutine library mission. (English) Zbl 1165.65407
Hertling, Peter (ed.) et al., Reliable implementation of real number algorithms: Theory and practice. International seminar, Dagstuhl Castle, Germany, January 8–13, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-85520-0/pbk). Lecture Notes in Computer Science 5045, 28-43 (2008).
Computation of exact inertia and inclusions of eigenvalues (singular values) of tridiagonal (bidiagonal) matrices. (English) Zbl 1118.65024
Reviewer: Georg Hebermehl (Berlin)
An overview of the Advanced CompuTational Software (ACTS) collection. (English) Zbl 1136.65318
MSC:
65G99
Numerically stable real number codes based on random matrices. (English) Zbl 1129.65314
Sunderam, Vaidy S. (ed.) et al., Computational science – ICCS 2005. 5th international conference, Atlanta, GA, USA, May 22–25, 2005. Proceedings, Part I. Berlin: Springer (ISBN 3-540-26032-3/pbk). Lecture Notes in Computer Science 3514, 115-122 (2005).
MSC:
65G99
Verification algorithms for generalized singular values. (English) Zbl 0939.65065
Reviewer: H.Ratschek (Düsseldorf)
Fast and parallel interval arithmetic. (English) Zbl 0942.65048
Reviewer: Günter Mayer (Speyer)
Fast verification of linear system solutions. (English) Zbl 0900.65074
Alefeld, Götz (ed.) et al., Numerical methods and error bounds. Proceedings of the IMACS-GAMM international symposium, Oldenburg, Germany, July 9–12, 1995. Berlin: Akademie Verlag. Math. Res. 89, 80-106 (1996).
Result verification for eigenvectors and eigenvalues. (English) Zbl 0813.65077
Herzberger, Jürgen, Topics in validated computations. Proceedings of the IMACS-GAMM international workshop, Oldenburg, Germany, 30 August - 3 September 1993. Amsterdam: Elsevier. Stud. Comput. Math. 5, 209-276 (1994).
Reviewer: M.Kracht (Düsseldorf)
Verification methods for dense and sparse systems of equations. (English) Zbl 0813.65072
Herzberger, Jürgen, Topics in validated computations. Proceedings of the IMACS-GAMM international workshop, Oldenburg, Germany, 30 August - 3 September 1993. Amsterdam: Elsevier. Stud. Comput. Math. 5, 63-135 (1994).
Reviewer: M.Kracht (Düsseldorf)
PROFIL/BIAS - A fast interval library. (English) Zbl 0808.65055
Reviewer: G.Mayer (Rostock)
Filter Results by …
Document Type
- Journal Articles (14)
- Collection Articles (6)
- Books (1)
all
top 5
Author
- Fernandes, Luiz Gustavo (2)
- Floudas, Christodoulos Achilleus (2)
- Kolberg, Mariana Luderitz (2)
- Mayer, Günter (2)
- Misener, Ruth (2)
- Rump, Siegfried Michael (2)
- Alefeld, Götz E. (1)
- Bohlender, Gerd (1)
- Chen, Zizhong (1)
- Corless, Robert Malcolm (1)
- Corliss, George F. (1)
- Dongarra, Jack J. (1)
- Fillion, Nicolas (1)
- Flegar, Goran (1)
- Hoffmann, Rolf (1)
- Huzurbazar, Aparna V. (1)
- Kearfott, Baker (1)
- Knüppel, Olaf (1)
- Krämer, Walter (1)
- Malossi, A. Cristiano I. (1)
- Mariani, Giovani (1)
- Marques, Osni A. (1)
- Milani, Cleber Roberto (1)
- Nedialkov, Ned (1)
- Novaković, Vedran (1)
- Popova, Evgeniya D. (1)
- Pryce, John D. (1)
- Quintana-Ortí, Enrique S. (1)
- Scheidegger, Florian (1)
- Tomás, Andrés E. (1)
- Ullrich, Christian P. (1)
- Voos, Friederike (1)
- Warr, Richard L. (1)
- Wu, Xinyuan (1)
- Zimmer, Michael F. (1)
all
top 5
Serial
- Computing (3)
- ACM Trans. Math. Softw. (2)
- BIT (1)
- J. Optim. Theory Appl. (1)
- Math. Nachr. (1)
- Appl. Math. Lett. (1)
- SIAM J. Matrix Anal. Appl. (1)
- J. Glob. Optim. (1)
- Linear Algebra Appl. (1)
- Numer. Linear Algebra Appl. (1)
- J. Stat. Theory Pract. (1)
all
top 3
Software
- LAPACK (21)
- C-XSC 2.0 (6)
- INTLAB (6)
- BLAS (5)
- C-XSC (4)
- Matlab (4)
- PROFIL/BIAS (4)
- ScaLAPACK (4)
- Boost (3)
- INTLIB (3)
- AMPL (2)
- ANTIGONE (2)
- Bonmin (2)
- Boost Interval Arithmetic (2)
- CLAPACK (2)
- COIN-OR/GAMSLinks (2)
- EISPACK (2)
- GLOBALLib (2)
- GloMIQO (2)
- LINDO (2)
- LINDOGlobal (2)
- LINPACK (2)
- MINLP (2)
- MINLPLib (2)
- PETSc (2)
- SCIP (2)
- libMC (2)
- ACTS (1)
- ADIC (1)
- ADIFOR (1)
- APOGEE (1)
- ARPACK (1)
- ATLAS (1)
- Algorithm 679 (1)
- Algorithm 882 (1)
- BPOLY (1)
- COCONUT (1)
- CONOPT (1)
- CUBLAS (1)
- CVODE (1)
- CVODES (1)
- Cosy (1)
- ESSL (1)
- Expint (1)
- FLAME (1)
- FastPILSS (1)
- FloatX (1)
- GLOPEQ (1)
- GSL (1)
- Ginkgo (1)
- IMSL Numerical Libraries (1)
- INTBIS (1)
- ITPACK (1)
- LaTeX (1)
- MAGMA (1)
- MKL (1)
- MPFR (1)
- MPI (1)
- Maple (1)
- MultRoot (1)
- NAG (1)
- OPT++ (1)
- OpenBLAS (1)
- PASCAL-XSC (1)
- PBLAS (1)
- PLAPACK (1)
- PLASMA (1)
- PMIRKDC (1)
- ParLinSys (1)
- PyACTS (1)
- R (1)
- SLDRIVER (1)
- SLICOT (1)
- SLTSTPAK (1)
- Slatec (1)
- SoftFloat (1)
- SuperMatrix (1)
- TAO (1)
- TensorFlow (1)
- Test Set for IVP Solvers (1)
- boa (1)
- filib++ (1)
- gaol (1)
