ACRITH-XSC
From MaRDI portal
Software:12788
No author found.
Related Items (47)
Unnamed Item ⋮ Solution of linear systems with verified accuracy ⋮ A software interface and hardware design for variable-precision interval arithmetic ⋮ An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points ⋮ A numerical approach to the proof of existence of solutions for elliptic problems ⋮ Automatic differentiation and interval arithmetic for estimation of disequilibrium models ⋮ Guaranteed inclusions for the complex generalized eigenproblem ⋮ Variable-Precision Exponential Evaluation ⋮ An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points ⋮ Multiple/arbitrary precision interval computations in C-XSC ⋮ A programmed algorithm for existence proofs for two-point boundary value problems ⋮ Fast interval matrix multiplication ⋮ Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method ⋮ Computer-assisted existence proofs for two-point boundary value problems ⋮ Estimation of the sensitivity of linear and nonlinear algebraic problems ⋮ The interval-enhanced GNU Fortran compiler ⋮ Efficient algorithms for the inclusion of the inverse matrix using error- bounds for hyperpower methods ⋮ On the solution of interval linear systems ⋮ Bounds for eigenvalues of second-order elliptic differential operators ⋮ A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization ⋮ Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library ⋮ Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems ⋮ Remarks on Verified Inclusions for the Solution of Systems of Linear Equations ⋮ Computational error bounds for multiple or nearly multiple eigenvalues ⋮ FORTRAN-SC. A study of a FORTRAN extension for engineering/scientific computation with access to ACRITH ⋮ Unnamed Item ⋮ Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations ⋮ Unnamed Item ⋮ Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit ⋮ Unnamed Item ⋮ Set inversion via interval analysis for nonlinear bounded-error estimation ⋮ Rigorous solution of linear programming problems with uncertain data ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A note on epsilon-inflation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Mathematics and Speed for Interval Arithmetic ⋮ Mathematical function software on the web -- are such codes useful for verification algorithms? ⋮ On a misconception involving point collocation and the Rayleigh hypothesis ⋮ Accurate arithmetic results for decimal data on non-decimal computers ⋮ On some interval methods for algebraic, exponential and trigonometric polynomials ⋮ Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side ⋮ Global optimization using interval arithmetic ⋮ Advanced Arithmetic for the Digital Computer
This page was built for software: ACRITH-XSC
