Cover Image

Functions to Support Input and Output of Intervals

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	van Emden, M. H., Moa, B., Somosan, S. C.
Format:	Preprint
Published:	2007
Subjects:	Numerical Analysis G.1.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization
by: van Emden, M. H.
Published: (2002)

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

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

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

Direction-Preserving Number Representations
by: Zadeh, Bardia, et al.
Published: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

Adaptive time step selection for Spectral Deferred Correction
by: Saupe, Thomas, et al.
Published: (2024)

Resilience Against Soft Faults through Adaptivity in Spectral Deferred Correction
by: Saupe, Thomas, et al.
Published: (2024)

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

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

GridapROMs.jl: Efficient reduced order modelling in the Julia programming language
by: Mueller, Nicholas, et al.
Published: (2025)

A non-standard numerical scheme for an age-of-infection epidemic model
by: Messina, Eleonora, et al.
Published: (2021)

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

Reliability Conditions in Quadrature Algorithms
by: Adam, Gh., et al.
Published: (2003)

Classifying extrema using intervals
by: Gutowski, Marek W.
Published: (2006)

The pitfalls of verifying floating-point computations
by: Monniaux, David
Published: (2007)

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

Symplectic integrators for second-order linear non-autonomous equations
by: Bader, Philipp, et al.
Published: (2017)

Contraction and Convergence Rates for Discretized Kinetic Langevin Dynamics
by: Leimkuhler, Benedict, et al.
Published: (2023)

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

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

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

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

Precision Arithmetic: A New Floating-Point Arithmetic
by: Wang, Chengpu
Published: (2006)

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