Copertina

New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	van Emden, M. H.
Natura:	Preprint
Pubblicazione:	2002
Soggetti:	Numerical Analysis B.2.4; G.1.0
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On the Significance of Digits in Interval Notation
di: van Emden, M. H.
Pubblicazione: (2002)

Factored Notation for Interval I/O
di: van Emden, M. H.
Pubblicazione: (2001)

Mechanizing Olver's Error Arithmetic
di: Fan, Max, et al.
Pubblicazione: (2025)

The Fundamental Theorems of Interval Analysis
di: van Emden, M. H., et al.
Pubblicazione: (2007)

Functions to Support Input and Output of Intervals
di: van Emden, M. H., et al.
Pubblicazione: (2007)

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

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

Reliability Conditions in Quadrature Algorithms
di: Adam, Gh., et al.
Pubblicazione: (2003)

The pitfalls of verifying floating-point computations
di: Monniaux, David
Pubblicazione: (2007)

Precision Arithmetic: A New Floating-Point Arithmetic
di: Wang, Chengpu
Pubblicazione: (2006)

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

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

Evaluation of Bfloat16, Posit, and Takum Arithmetics in Sparse Linear Solvers
di: Hunhold, Laslo, et al.
Pubblicazione: (2024)

Scalable s-step Preconditioned Conjugate Gradient with Chebyshev Basis and Gauss-Seidel Gram Solve
di: D'Ambra, Pasqua, et al.
Pubblicazione: (2026)

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

Mixed-Precision in High-Order Methods: the Impact of Floating-Point Precision on the ADER-DG Algorithm
di: Marot-Lassauzaie, Marc, et al.
Pubblicazione: (2025)

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

Hardware Trends Impacting Floating-Point Computations In Scientific Applications
di: Dongarra, Jack, et al.
Pubblicazione: (2024)

Multivariate Integral Perturbation Techniques - I (Theory)
di: Dash, Jan W.
Pubblicazione: (2006)

Beating Posits at Their Own Game: Takum Arithmetic
di: Hunhold, Laslo
Pubblicazione: (2024)

Efficient Solving of Quantified Inequality Constraints over the Real Numbers
di: Ratschan, Stefan
Pubblicazione: (2002)

An Adaptive Difference Method for Variable-Order Diffusion Equations
di: Quintana-Murillo, Joaquín, et al.
Pubblicazione: (2024)

Weighted average finite difference methods for fractional diffusion equations
di: Yuste, Santos B.
Pubblicazione: (2004)

Interval Constraint Solving for Camera Control and Motion Planning
di: Benhamou, Frederic, et al.
Pubblicazione: (2000)

Direction-Preserving Number Representations
di: Zadeh, Bardia, et al.
Pubblicazione: (2026)

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

Fast Linear Solvers via AI-Tuned Markov Chain Monte Carlo-based Matrix Inversion
di: Lebedev, Anton, et al.
Pubblicazione: (2025)

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

A Robust Solution Procedure for Hyperelastic Solids with Large Boundary Deformation
di: Shontz, Suzanne M., et al.
Pubblicazione: (2006)

Classifying extrema using intervals
di: Gutowski, Marek W.
Pubblicazione: (2006)

On an explicit finite difference method for fractional diffusion equations
di: Yuste, S. B., et al.
Pubblicazione: (2003)

A Unifying Family of Data-Adaptive Partitioning Algorithms
di: Oldaker IV, Guy B., et al.
Pubblicazione: (2024)

LUT Tensor Core: A Software-Hardware Co-Design for LUT-Based Low-Bit LLM Inference
di: Mo, Zhiwen, et al.
Pubblicazione: (2024)

gUFO: A Gentle Foundational Ontology for Semantic Web Knowledge Graphs
di: Almeida, João Paulo A., et al.
Pubblicazione: (2026)

Solving Boundary Handling Analytically in Two Dimensions for Smoothed Particle Hydrodynamics
di: Winchenbach, Rene, et al.
Pubblicazione: (2025)

Using matrices in post-processing phase of CFD simulations
di: Argentini, Gianluca
Pubblicazione: (2004)

Using sparse matrices and splines-based interpolation in computational fluid dynamics simulations
di: Argentini, Gianluca
Pubblicazione: (2004)

On numerical stability of recursive present value computation method
di: Kuketayev, Argyn
Pubblicazione: (2006)

Mathematical Modeling of Option Pricing with an Extended Black-Scholes Framework
di: Nayak, Nikhil Shivakumar
Pubblicazione: (2025)

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