Mathematics and speed for interval arithmetic: a complement to IEEE 1788. (English) Zbl 1471.65034
MSC:
65G30
Found 31 Documents (Results 1–31)
Fast interval matrix multiplication. (English) Zbl 1264.65065
Reviewer: Günter Mayer (Rostock)
MSC:
65F30
65G30
Advanced artihmetic for the digital computer. Design of arithmetic units. (English) Zbl 1021.68109
Wien: Springer. xii, 141 p. (2002).
Reviewer: E.Kostolansky (Bratislava)
SCAN-98 collected bibliography. (English) Zbl 0949.65049
Csendes, Tibor (ed.), Developments in reliable computing. SCAN-98 conference, 8th international symposium on Scientific computing, computer arithmetic and validated numerics. Budapest, Hungary, September 22-25, 1998. Dordrecht: Kluwer Academic Publishers. 383-402 (1999).
A note on epsilon-inflation. (English) Zbl 0920.65031
Reviewer: S.Markov (Sofia)
Automatic differentiation and interval arithmetic for estimation of disequilibrium models. (English) Zbl 0892.90042
MSC:
91B82
Stimulating hardware and software support for interval arithmetic. (English) Zbl 0841.65033
Kearfott, R. Baker (ed.) et al., Applications of interval computations. Proceedings of an international workshop, El Paso, TX, USA, February 23-25, 1995. Dordrecht: Kluwer Academic Publishers. Appl. Optim. 3, 405-416 (1996).
Guaranteed error bounds for ordinary differential equations. (English) Zbl 0843.65060
Ainsworth, M. (ed.) et al., Advances in numerical analysis. Vol. IV. Theory and numerics of ordinary and partial differential equations. Proceedings of the sixth SERC summer school in numerical analysis, Leicester, UK, July 18-29, 1994. Oxford: Clarendon Press. Oxford Science Publications. 1-75 (1995).
A software interface and hardware design for variable-precision interval arithmetic. (English) Zbl 0837.65045
A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization. (English) Zbl 0886.65059
Algorithm 737: INTLIB: A portable Fortran 77 interval standard-function library. (English) Zbl 0888.65057
On some interval methods for algebraic, exponential and trigonometric polynomials. (English) Zbl 0796.65067
Reviewer: S.Markov (Sofia)
ACRITH-XSC. A Fortran-like language for verified scientific computing. (English) Zbl 0801.68019
Adams, E. (ed.) et al., Scientific computing with automatic result verification. Boston: Academic Press, Inc.. Math. Sci. Eng. 189, 45-70 (1993).
Set inversion via interval analysis for nonlinear bounded-error estimation. (English) Zbl 0776.93001
MSC:
93A10
Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems. (English. German summary) Zbl 0771.65087
Reviewer: K.Zlateva (Russe)
Typical numerical problems arising with the treatment of ill conditioned partial differential equations by the example of the MHD equations. (English) Zbl 0840.76048
Atanassova, Lidiya (ed.) et al., Computer arithmetic and enclosure methods. Proceedings of the 3rd International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991. Amsterdam: North-Holland. 361-370 (1992).
Computation of interval bounds for elliptic integrals. (English) Zbl 0838.65010
Atanassova, Lidiya (ed.) et al., Computer arithmetic and enclosure methods. Proceedings of the 3rd International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991. Amsterdam: North-Holland. 289-298 (1992).
On the solution of interval linear systems. (English) Zbl 0753.65030
Reviewer: H.Fischer (München)
ACRITH-XSC – A programming language for scientific/engineering computation. (A survey). (English) Zbl 0795.68031
Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side. (English) Zbl 0729.65016
Reviewer: H.Ratschek (Düsseldorf)
Efficient algorithms for the inclusion of the inverse matrix using error- bounds for hyperpower methods. (English) Zbl 0753.65021
Reviewer: H.Fischer (München)
Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method. (English) Zbl 0707.65060
Reviewer: A.L.Andrew
A programmed algorithm for existence proofs for two-point boundary value problems. (English) Zbl 0703.65043
Reviewer: J.B.Butler jun
Rigorous sensitivity analysis for systems of linear and nonlinear equations. (English) Zbl 0701.65039
Reviewer: H.Ratschek
Guaranteed inclusions for the complex generalized eigenproblem. (English) Zbl 0676.65028
Reviewer: A.Ruhe
Remarks on verified inclusions for the solution of systems of linear equations. (English) Zbl 0676.65016
Reviewer: G.Schröder
Filter Results by …
Document Type
- Journal Articles (24)
- Collection Articles (6)
- Books (1)
all
top 5
Author
- Rump, Siegfried Michael (6)
- Plum, Michael (3)
- Corliss, George F. (2)
- Herzberger, Jürgen P. (2)
- Jerrell, Max E. (2)
- Kearfott, Baker (2)
- Krämer, Walter (2)
- Kulisch, Ulrich W. (2)
- Schulte, Michael J. (2)
- Akkas, Ahmet (1)
- Auzinger, Winfried (1)
- Burley, James Craig (1)
- Carstensen, Carsten (1)
- Davidenkoff, Alexander (1)
- Dawande, Milind W. (1)
- Geörg, Stefan (1)
- Göhlen, Michael (1)
- Hu, Chenyi (1)
- Jansson, Christian (1)
- Jaulin, Luc (1)
- Petković, Miodrag S. (1)
- Schröder, Johann (1)
- Stetter, Hans J. (1)
- Swartzlander, Earl E. jun. (1)
- Walster, G. William (1)
- Walter, Eric (1)
- Walter, Wolfgang V. (1)
- Zelov, Vitaly (1)
all
top 5
Serial
- Computing (9)
- ACM Trans. Math. Softw. (3)
- Reliab. Comput. (3)
- Z. Angew. Math. Mech. (2)
- Comput. Econ. (2)
- Z. Angew. Math. Phys. (1)
- Math. Comput. (1)
- Automatica (1)
- Numer. Algorithms (1)
- Z. Oper. Res. (1)
all
top 3
Software
- ACRITH-XSC (31)
- C-XSC (7)
- C-XSC 2.0 (7)
- PASCAL-XSC (5)
- FORTRAN-SC (3)
- INTBIS (3)
- INTLIB (3)
- BLAS (2)
- FORTRAN-XSC (2)
- INTLAB (2)
- ADOL-C (1)
- Algorithm 524 (1)
- Algorithm 693 (1)
- CADAC (1)
- GNU Fortran (1)
- HIFICOMP (1)
- INTPAK (1)
- LANCELOT (1)
- MPFI (1)
- MPFR (1)
- Maple (1)
- PCOMP (1)
- PNM (1)
- PROFIL/BIAS (1)
- VPI (1)
- gmp (1)
- intpakX (1)
- mctoolbox (1)
