Imagen de Portada

Reliability Conditions in Quadrature Algorithms

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Adam, Gh., Adam, S., Plakida, N. M.
Formato:	Preprint
Publicado:	2003
Materias:	Numerical Analysis Mathematical Software Computational Physics G.4; G.1.4; G.1.0; J.2; D.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Local Adjoints for Simultaneous Preaccumulations with Shared Inputs
por: Blühdorn, Johannes, et al.
Publicado: (2024)

Hybrid parallel discrete adjoints in SU2
por: Blühdorn, Johannes, et al.
Publicado: (2024)

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

The pitfalls of verifying floating-point computations
por: Monniaux, David
Publicado: (2007)

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

Algorithmic differentiation for domain specific languages in C++ with expression templates
por: Sagebaum, Max, et al.
Publicado: (2026)

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

Adding complex numbers to expression template algorithmic differentiation tools
por: Sagebaum, Max, et al.
Publicado: (2025)

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

An Efficient Local Optimizer-Tracking Solver for Differential-Algebriac Equations with Optimization Criteria
por: Fleming, Alexander, et al.
Publicado: (2024)

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

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

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

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

A Common Interface for Automatic Differentiation
por: Dalle, Guillaume, et al.
Publicado: (2025)

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

Tensor Decompositions for Count Data that Leverage Stochastic and Deterministic Optimization
por: Myers, Jeremy M., et al.
Publicado: (2022)

Classifying extrema using intervals
por: Gutowski, Marek W.
Publicado: (2006)

Good modelling software practices
por: Lemmen, Carsten, et al.
Publicado: (2024)

Physics Informed Neural Network Code for 2D Transient Problems (PINN-2DT) Compatible with Google Colab
por: Maczuga, Paweł, et al.
Publicado: (2023)

A randomised lattice rule algorithm with pre-determined generating vector and random number of points for Korobov spaces with $0 < α\le 1/2$
por: Nuyens, Dirk, et al.
Publicado: (2023)

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

modOpt: A modular development environment and library for optimization algorithms
por: Joshy, Anugrah Jo, et al.
Publicado: (2024)

POLYDIM: A C++ library for POLYtopal DIscretization Methods
por: Berrone, Stefano, et al.
Publicado: (2025)

Acceleration of Tensor-Product Operations with Tensor Cores
por: Cui, Cu
Publicado: (2024)

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

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

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

Faithful Polynomial Evaluation with Compensated Horner Algorithm
por: Langlois, Philippe, et al.
Publicado: (2006)

Experience and Analysis of Scalable High-Fidelity Computational Fluid Dynamics on Modular Supercomputing Architectures
por: Karp, Martin, et al.
Publicado: (2024)

Improving Runtime Performance of Tensor Computations using Rust From Python
por: Harding, Kimmie, et al.
Publicado: (2025)

Hessians in Birkhoff-Theoretic Trajectory Optimization
por: Ross, I. M.
Publicado: (2025)

Wigner-Eckart Factorization of the Spectral Boltzmann Collision Operator
por: Hiemstra, René R., et al.
Publicado: (2026)

Reimplementing Mizar in Rust
por: Carneiro, Mario
Publicado: (2023)

Lean4Lean: Verifying a Typechecker for Lean, in Lean
por: Carneiro, Mario
Publicado: (2024)

Rethinking Software Empirical Studies with Structural Causal Models
por: Rodriguez-Cardenas, Daniel, et al.
Publicado: (2026)

Numerical integrator for highly oscillatory differential equations based on the Neumann series
por: Perczyński, Rafał, et al.
Publicado: (2023)

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

Flexible Quaternion Generalized Minimal Residual Method for Ill-Posed Quaternion Inverse Problems
por: Liu, Xuan, et al.
Publicado: (2024)