The following pages link to (Q3948528):
Displayed 50 items.
- Computation of the monodromy matrix in floating point arithmetic with the Wilkinson model (Q316618) (← links)
- Interval probabilities and enclosures (Q382434) (← links)
- High accuracy and interval arithmetic on multicore processors (Q382438) (← links)
- Interval metrics, topology and continuous functions (Q382444) (← links)
- FORTRAN-SC. A study of a FORTRAN extension for engineering/scientific computation with access to ACRITH (Q578909) (← links)
- Bivariate product cubature using peano kernels for local error estimates (Q618375) (← links)
- Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action (Q638792) (← links)
- Loop invariants in floating point algorithms (Q685861) (← links)
- Multivariate rational data fitting: General data structure, maximal accuracy and object orientation (Q688111) (← links)
- Some integral inequalities for interval-valued functions (Q725761) (← links)
- Implementation of universal computer arithmetic with optimal accuracy (Q754608) (← links)
- Some integral inequalities for fuzzy-interval-valued functions (Q780952) (← links)
- Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side (Q806948) (← links)
- Certification for polynomial systems via square subsystems (Q820969) (← links)
- A study of interval optimization problems (Q828713) (← links)
- The best interval representations of t-norms and automorphisms (Q869122) (← links)
- Verified integration of linear \(n\)th order ODEs using large steps (Q876676) (← links)
- A programmed algorithm for existence proofs for two-point boundary value problems (Q916318) (← links)
- Dense linear system: A parallel self-verified solver (Q941827) (← links)
- Accurate arithmetic results for decimal data on non-decimal computers (Q1060810) (← links)
- Componentwise inclusion and exclusion sets for solutions of quadratic equations in finite dimensional spaces (Q1079338) (← links)
- Bounds for the solution of hyperbolic problems (Q1094114) (← links)
- Solution of linear systems with verified accuracy (Q1101865) (← links)
- All possible computed results in correct floating-point summation (Q1118976) (← links)
- Guaranteed inclusions for the complex generalized eigenproblem (Q1122940) (← links)
- E-methods for fixed point equations f(x)=x (Q1158928) (← links)
- Solving nonlinear systems with least significant bit accuracy (Q1164379) (← links)
- Solution of finite systems of equations by interval iteration (Q1164967) (← links)
- Least significant bit evaluation of arithmetic expressions in single- precision (Q1169256) (← links)
- Estimation of the sensitivity of linear and nonlinear algebraic problems (Q1175272) (← links)
- A geometric approach for computing a posteriori error bounds for the solution of a linear system (Q1179535) (← links)
- On the solution of interval linear systems (Q1184703) (← links)
- A self-validating numerical method for the matrix exponential (Q1262083) (← links)
- Accurate scalar products and optimization (Q1321381) (← links)
- A fast dot-product algorithm with minimal rounding errors (Q1332688) (← links)
- Hashing lazy numbers (Q1340859) (← links)
- Implicit matrix multiplication with maximum accuracy on various transputer networks (Q1340871) (← links)
- A test environment using symbolic program trace (Q1340875) (← links)
- A circuit for exact summation of floating-point numbers (Q1351592) (← links)
- Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution (Q1365540) (← links)
- Verified computation of Lamé functions with high accuracy (Q1377265) (← links)
- Reliable computation of eigenvalues of the magnetostatic integral operator (Q1596749) (← links)
- Ultra-arithmetic. II: Intervals of polynomials (Q1636021) (← links)
- A generalized distance based on a generalized triangle inequality (Q1671767) (← links)
- Validated solutions of initial value problems for ordinary differential equations (Q1805854) (← links)
- An error controlling Nyström method (Q1817503) (← links)
- On the monotonicity of the interval versions of Schulz's method. II (Q1822454) (← links)
- Computing \(z^y\) with maximum accuracy (Q1838268) (← links)
- Improved validated bounds for Taylor coefficients and for Taylor remainder series (Q1872963) (← links)
- A combined method for enclosing all solutions of nonlinear systems of polynomial equations (Q1899456) (← links)