Image de couverture de livre

Factored Notation for Interval I/O

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	van Emden, M. H.
Format:	Preprint
Publié:	2001
Sujets:	Numerical Analysis B.4.m; G.1.0; G.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the Significance of Digits in Interval Notation
par: van Emden, M. H.
Publié: (2002)

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

The Fundamental Theorems of Interval Analysis
par: van Emden, M. H., et autres
Publié: (2007)

Functions to Support Input and Output of Intervals
par: van Emden, M. H., et autres
Publié: (2007)

Analysis of and workarounds for element reversal for a finite element-based algorithm for warping triangular and tetrahedral meshes
par: Shontz, Suzanne M., et autres
Publié: (2004)

Mechanizing Olver's Error Arithmetic
par: Fan, Max, et autres
Publié: (2025)

Reliability Conditions in Quadrature Algorithms
par: Adam, Gh., et autres
Publié: (2003)

An SMT Formalization of Mixed-Precision Matrix Multiplication: Modeling Three Generations of Tensor Cores
par: Valpey, Benjamin, et autres
Publié: (2025)

An Adaptive Difference Method for Variable-Order Diffusion Equations
par: Quintana-Murillo, Joaquín, et autres
Publié: (2024)

Weighted average finite difference methods for fractional diffusion equations
par: Yuste, Santos B.
Publié: (2004)

Spectral Methods via FFTs in Emerging Machine Number Formats: OFP8, Bfloat16, Posit, and Takum Arithmetics
par: Hunhold, Laslo, et autres
Publié: (2025)

The pitfalls of verifying floating-point computations
par: Monniaux, David
Publié: (2007)

Hardware Trends Impacting Floating-Point Computations In Scientific Applications
par: Dongarra, Jack, et autres
Publié: (2024)

Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
par: van Emden, M. H., et autres
Publié: (2004)

Mixed-Precision in High-Order Methods: the Impact of Floating-Point Precision on the ADER-DG Algorithm
par: Marot-Lassauzaie, Marc, et autres
Publié: (2025)

On an explicit finite difference method for fractional diffusion equations
par: Yuste, S. B., et autres
Publié: (2003)

Efficient Solving of Quantified Inequality Constraints over the Real Numbers
par: Ratschan, Stefan
Publié: (2002)

POLYDIM: A C++ library for POLYtopal DIscretization Methods
par: Berrone, Stefano, et autres
Publié: (2025)

Challenges in automatic differentiation and numerical integration in physics-informed neural networks modelling
par: Daněk, Josef, et autres
Publié: (2024)

Computing sharp and scalable bounds on errors in approximate zeros of univariate polynomials
par: Ramakrishna, P. H. D., et autres
Publié: (2003)

Physics Informed Neural Network Code for 2D Transient Problems (PINN-2DT) Compatible with Google Colab
par: Maczuga, Paweł, et autres
Publié: (2023)

Multivariate Integral Perturbation Techniques - I (Theory)
par: Dash, Jan W.
Publié: (2006)

CUQIpy: I. Computational uncertainty quantification for inverse problems in Python
par: Riis, Nicolai A B, et autres
Publié: (2023)

Adaptive Mesh Refinement for Two-Phase Viscoelastic Fluid Mixture Models
par: Nagda, Bindi M., et autres
Publié: (2024)

Direction-Preserving Number Representations
par: Zadeh, Bardia, et autres
Publié: (2026)

Scalable s-step Preconditioned Conjugate Gradient with Chebyshev Basis and Gauss-Seidel Gram Solve
par: D'Ambra, Pasqua, et autres
Publié: (2026)

Using matrices in post-processing phase of CFD simulations
par: Argentini, Gianluca
Publié: (2004)

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

Tensor Decompositions for Count Data that Leverage Stochastic and Deterministic Optimization
par: Myers, Jeremy M., et autres
Publié: (2022)

Numerical integrator for highly oscillatory differential equations based on the Neumann series
par: Perczyński, Rafał, et autres
Publié: (2023)

Fast Linear Solvers via AI-Tuned Markov Chain Monte Carlo-based Matrix Inversion
par: Lebedev, Anton, et autres
Publié: (2025)

Neural Fractional Differential Equations
par: Coelho, C., et autres
Publié: (2024)

Optimization of Memory Usage in Tardos's Fingerprinting Codes
par: Nuida, Koji, et autres
Publié: (2006)

Generalizing Random Butterfly Transforms to Arbitrary Matrix Sizes
par: Lindquist, Neil, et autres
Publié: (2023)

Leveraging Mixed Precision in Exponential Time Integration Methods
par: Balos, Cody J., et autres
Publié: (2023)

Flexible Quaternion Generalized Minimal Residual Method for Ill-Posed Quaternion Inverse Problems
par: Liu, Xuan, et autres
Publié: (2024)

Harmonic Analysis
par: Clue, Vladimir I
Publié: (2005)

Automated Synthesis of Quantum Algorithms via Classical Numerical Techniques
par: Huang, Yuxin, et autres
Publié: (2024)

A multiphase cubic MARS method for fourth- and higher-order interface tracking of two or more materials with arbitrary topology and geometry
par: Tan, Yan, et autres
Publié: (2025)

Numerical Performance of the Implicitly Restarted Arnoldi Method in OFP8, Bfloat16, Posit, and Takum Arithmetics
par: Hunhold, Laslo, et autres
Publié: (2025)