Buchumschlag

The Fundamental Theorems of Interval Analysis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	van Emden, M. H., Moa, B.
Format:	Preprint
Veröffentlicht:	2007
Schlagworte:	Numerical Analysis G.1.0
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Functions to Support Input and Output of Intervals
von: van Emden, M. H., et al.
Veröffentlicht: (2007)

On the Significance of Digits in Interval Notation
von: van Emden, M. H.
Veröffentlicht: (2002)

Factored Notation for Interval I/O
von: van Emden, M. H.
Veröffentlicht: (2001)

New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization
von: van Emden, M. H.
Veröffentlicht: (2002)

Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
von: van Emden, M. H., et al.
Veröffentlicht: (2004)

Analysis of and workarounds for element reversal for a finite element-based algorithm for warping triangular and tetrahedral meshes
von: Shontz, Suzanne M., et al.
Veröffentlicht: (2004)

Spectral Methods via FFTs in Emerging Machine Number Formats: OFP8, Bfloat16, Posit, and Takum Arithmetics
von: Hunhold, Laslo, et al.
Veröffentlicht: (2025)

Direction-Preserving Number Representations
von: Zadeh, Bardia, et al.
Veröffentlicht: (2026)

Computing sharp and scalable bounds on errors in approximate zeros of univariate polynomials
von: Ramakrishna, P. H. D., et al.
Veröffentlicht: (2003)

Mechanizing Olver's Error Arithmetic
von: Fan, Max, et al.
Veröffentlicht: (2025)

A Unifying Family of Data-Adaptive Partitioning Algorithms
von: Oldaker IV, Guy B., et al.
Veröffentlicht: (2024)

Weighted average finite difference methods for fractional diffusion equations
von: Yuste, Santos B.
Veröffentlicht: (2004)

Perturbation Function Iteration Method: A New Framework for Solving Periodic Solutions of Non-linear and Non-smooth Systems
von: Cao, Limin, et al.
Veröffentlicht: (2025)

Interval Constraint Solving for Camera Control and Motion Planning
von: Benhamou, Frederic, et al.
Veröffentlicht: (2000)

Solving Boundary Handling Analytically in Two Dimensions for Smoothed Particle Hydrodynamics
von: Winchenbach, Rene, et al.
Veröffentlicht: (2025)

On numerical stability of recursive present value computation method
von: Kuketayev, Argyn
Veröffentlicht: (2006)

An Adaptive Difference Method for Variable-Order Diffusion Equations
von: Quintana-Murillo, Joaquín, et al.
Veröffentlicht: (2024)

A Robust Solution Procedure for Hyperelastic Solids with Large Boundary Deformation
von: Shontz, Suzanne M., et al.
Veröffentlicht: (2006)

On an explicit finite difference method for fractional diffusion equations
von: Yuste, S. B., et al.
Veröffentlicht: (2003)

An SMT Formalization of Mixed-Precision Matrix Multiplication: Modeling Three Generations of Tensor Cores
von: Valpey, Benjamin, et al.
Veröffentlicht: (2025)

Adaptive time step selection for Spectral Deferred Correction
von: Saupe, Thomas, et al.
Veröffentlicht: (2024)

Resilience Against Soft Faults through Adaptivity in Spectral Deferred Correction
von: Saupe, Thomas, et al.
Veröffentlicht: (2024)

Prediction Air Temperature in Geothermal Heat Exchangers Using Pseudorandom Numbers: The New DARL Model
von: Ramírez-Dolores, C., et al.
Veröffentlicht: (2025)

Mathematical Modeling of Option Pricing with an Extended Black-Scholes Framework
von: Nayak, Nikhil Shivakumar
Veröffentlicht: (2025)

Efficient Solving of Quantified Inequality Constraints over the Real Numbers
von: Ratschan, Stefan
Veröffentlicht: (2002)

GridapROMs.jl: Efficient reduced order modelling in the Julia programming language
von: Mueller, Nicholas, et al.
Veröffentlicht: (2025)

A non-standard numerical scheme for an age-of-infection epidemic model
von: Messina, Eleonora, et al.
Veröffentlicht: (2021)

Augmenting MRI scan data with real-time predictions of glioblastoma brain tumor evolution using faster exponential time integrators
von: Pabisz, Magdalena, et al.
Veröffentlicht: (2024)

Reliability Conditions in Quadrature Algorithms
von: Adam, Gh., et al.
Veröffentlicht: (2003)

Classifying extrema using intervals
von: Gutowski, Marek W.
Veröffentlicht: (2006)

The pitfalls of verifying floating-point computations
von: Monniaux, David
Veröffentlicht: (2007)

Matrix-Free Parallel Scalable Multilevel Deflation Preconditioning for Heterogeneous Time-Harmonic Wave Problems
von: Chen, Jinqiang, et al.
Veröffentlicht: (2024)

Symplectic integrators for second-order linear non-autonomous equations
von: Bader, Philipp, et al.
Veröffentlicht: (2017)

Contraction and Convergence Rates for Discretized Kinetic Langevin Dynamics
von: Leimkuhler, Benedict, et al.
Veröffentlicht: (2023)

Using matrices in post-processing phase of CFD simulations
von: Argentini, Gianluca
Veröffentlicht: (2004)

Using sparse matrices and splines-based interpolation in computational fluid dynamics simulations
von: Argentini, Gianluca
Veröffentlicht: (2004)

Numerical Performance of the Implicitly Restarted Arnoldi Method in OFP8, Bfloat16, Posit, and Takum Arithmetics
von: Hunhold, Laslo, et al.
Veröffentlicht: (2025)

Evaluation of Bfloat16, Posit, and Takum Arithmetics in Sparse Linear Solvers
von: Hunhold, Laslo, et al.
Veröffentlicht: (2024)

Precision Arithmetic: A New Floating-Point Arithmetic
von: Wang, Chengpu
Veröffentlicht: (2006)

Challenges in automatic differentiation and numerical integration in physics-informed neural networks modelling
von: Daněk, Josef, et al.
Veröffentlicht: (2024)