ACRITH-XSC

swMATH15MaRDI QIDQ12788FDOQ12788

Author name not available (Why is that?)

Official website: http://www2.math.uni-wuppertal.de/~xsc/xsc/history.html

Cited In (56)

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

This page was built for software: ACRITH-XSC