Pages that link to "Item:Q4577099"
From MaRDI portal
The following pages link to Scientific Computing, Validated Numerics, Interval Methods (Q4577099):
Displaying 31 items.
- SCAN 2000 Keynote Address the Future of Intervals (Q4577100) (← links)
- Variable-Precision Exponential Evaluation (Q4577101) (← links)
- Fast Computation of Some Special Integrals of Mathematical Physics (Q4577102) (← links)
- Interval Input and Output (Q4577103) (← links)
- A Case for Interval Hardware on Superscalar Processors (Q4577104) (← links)
- Evaluating the Impact of Accurate Branch Prediction on Interval Software (Q4577105) (← links)
- Automatic Test Case Generation Using Interval Arithmetic (Q4577106) (← links)
- On the Hull of the Solution Sets of Interval Linear Equations (Q4577107) (← links)
- Computation of Algebraic Solutions to Interval Systems Via Systems of Coordinates (Q4577108) (← links)
- Towards Diagrammatic Analysis of Systems of Interval “Linear Equations” (Q4577109) (← links)
- On the Solution of Parametrised Linear Systems (Q4577110) (← links)
- Verified Solutions of Systems of Nonlinear Polynomial Equations (Q4577111) (← links)
- Euler-Like Method for the Simultaneous Inclusion of Polynomial Zeros with Weierstrass’ Correction (Q4577112) (← links)
- Guaranteed Set Computation with Subpavings (Q4577113) (← links)
- A New Intersection Algorithm for Parametric Surfaces Based on Linear Interval Estimations (Q4577114) (← links)
- Nonlinear State Estimation Using Forward-Backward Propagation of Intervals in an Algorithm (Q4577115) (← links)
- Interval Methods for Global Optimization Using the Boxing Method (Q4577116) (← links)
- A Branch-and-Prune Method for Global Optimization (Q4577117) (← links)
- Simulation of a Controlled Aircraft Elevator under Sensor Uncertainties (Q4577120) (← links)
- Traditional Parameter Estimation Versus Estimation of Guaranteed Parameter Sets (Q4577121) (← links)
- Stabilizing Control Design of Nonlinear Process Involving Uncertainties (Q4577122) (← links)
- Set Estimation, Computation of Volumes and Data Safety (Q4577123) (← links)
- Verified High-Order Integration of DAEs and Higher-Order ODEs (Q4577124) (← links)
- About a Finite Dimensional Reduction Method for Conservative Dynamical Systems and Its Applications (Q4577125) (← links)
- Verified Determination of Singularities in Chemical Processes (Q4577126) (← links)
- Modeling of Multibody Systems with Interval Arithmetic (Q4577127) (← links)
- On the algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic (Q4577128) (← links)
- Global Random Walk Simulations of Diffusion (Q4577131) (← links)
- Interval Computations as a Particular Case of a General Scheme Involving Classes of Probability Distributions (Q4577133) (← links)
- For Reliable and Powerful Scientific Computations (Q4577134) (← links)
- Reliable Representations of Strange Attractors (Q4577135) (← links)