The following pages link to ACRITH-XSC (Q12788):
Displaying 47 items.
- Multiple/arbitrary precision interval computations in C-XSC (Q411422) (← links)
- Fast interval matrix multiplication (Q451807) (← links)
- FORTRAN-SC. A study of a FORTRAN extension for engineering/scientific computation with access to ACRITH (Q578909) (← links)
- Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side (Q806948) (← links)
- A programmed algorithm for existence proofs for two-point boundary value problems (Q916318) (← links)
- Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method (Q919764) (← links)
- Accurate arithmetic results for decimal data on non-decimal computers (Q1060810) (← links)
- Solution of linear systems with verified accuracy (Q1101865) (← links)
- Guaranteed inclusions for the complex generalized eigenproblem (Q1122940) (← links)
- Computer-assisted existence proofs for two-point boundary value problems (Q1174351) (← links)
- Estimation of the sensitivity of linear and nonlinear algebraic problems (Q1175272) (← links)
- Efficient algorithms for the inclusion of the inverse matrix using error- bounds for hyperpower methods (Q1179546) (← links)
- On the solution of interval linear systems (Q1184703) (← links)
- Bounds for eigenvalues of second-order elliptic differential operators (Q1186489) (← links)
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems (Q1195791) (← links)
- Set inversion via interval analysis for nonlinear bounded-error estimation (Q1261095) (← links)
- A note on epsilon-inflation (Q1276130) (← links)
- On some interval methods for algebraic, exponential and trigonometric polynomials (Q1313251) (← links)
- Global optimization using interval arithmetic (Q1318309) (← links)
- Automatic differentiation and interval arithmetic for estimation of disequilibrium models (Q1366848) (← links)
- Mathematical function software on the web -- are such codes useful for verification algorithms? (Q1577441) (← links)
- A software interface and hardware design for variable-precision interval arithmetic (Q1904320) (← links)
- The interval-enhanced GNU Fortran compiler (Q1971086) (← links)
- A numerical approach to the proof of existence of solutions for elliptic problems (Q3469483) (← links)
- Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations (Q3479458) (← links)
- Remarks on Verified Inclusions for the Solution of Systems of Linear Equations (Q3831918) (← links)
- (Q4006784) (← links)
- (Q4034068) (← links)
- An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points (Q4306833) (← links)
- A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization (Q4371586) (← links)
- Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library (Q4371727) (← links)
- On a misconception involving point collocation and the Rayleigh hypothesis (Q4501982) (← links)
- Variable-Precision Exponential Evaluation (Q4577101) (← links)
- Rigorous solution of linear programming problems with uncertain data (Q4713478) (← links)
- Advanced Arithmetic for the Digital Computer (Q4779044) (← links)
- An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points (Q4835484) (← links)
- (Q4835644) (← links)
- (Q4849585) (← links)
- (Q4868540) (← links)
- (Q4868547) (← links)
- (Q4874525) (← links)
- (Q4874526) (← links)
- (Q4878703) (← links)
- (Q4949377) (← links)
- Mathematics and Speed for Interval Arithmetic (Q5237417) (← links)
- Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit (Q5461047) (← links)
- Computational error bounds for multiple or nearly multiple eigenvalues (Q5929752) (← links)
