Copertina

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tirpankar, Tanmay, Das, Arnab, Gopalakrishnan, Ganesh
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages Numerical Analysis Symbolic Computation Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
di: Muller, Jean-Michel, et al.
Pubblicazione: (2024)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
di: Beyer, Dirk, et al.
Pubblicazione: (2025)

Revealing Floating-Point Accumulation Orders in Software/Hardware Implementations
di: Xie, Peichen, et al.
Pubblicazione: (2024)

Evaluating Numerical Accuracy in Mixed-Precision Computing by Dual-Delta Testing
di: Xie, Peichen
Pubblicazione: (2026)

Open Source Prover in the Attic
di: Kovács, Zoltán, et al.
Pubblicazione: (2024)

Fast Symbolic Integer-Linear Spectra
di: Luntzel, Jonny, et al.
Pubblicazione: (2024)

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
di: Verschelde, Jan, et al.
Pubblicazione: (2024)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
di: Olivieri, Albani, et al.
Pubblicazione: (2026)

Rigorous Error Analysis for Logarithmic Number Systems
di: Nguyen, Thanh Son, et al.
Pubblicazione: (2024)

Computing Clipped Products
di: Norman, Arthur C., et al.
Pubblicazione: (2024)

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
di: Yang, Jing, et al.
Pubblicazione: (2024)

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing
di: De Luca, Marco, et al.
Pubblicazione: (2026)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
di: Jayasena, Aruna, et al.
Pubblicazione: (2023)

Accurate Residues for Floating-Point Debugging
di: He, Yumeng, et al.
Pubblicazione: (2026)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
di: Kutsia, Temur, et al.
Pubblicazione: (2024)

A Symbolic Computing Perspective on Software Systems
di: Norman, Arthur C., et al.
Pubblicazione: (2024)

Validated numerics for algebraic path tracking
di: Guillemot, Alexandre, et al.
Pubblicazione: (2024)

A Novel Approach to the Initial Value Problem with a complete validated algorithm
di: Zhang, Bingwei, et al.
Pubblicazione: (2025)

Groebner basis structure of ideal interpolation
di: Gong, Yihe, et al.
Pubblicazione: (2020)

Strassen's algorithm is not optimally accurate
di: Dumas, Jean-Guillaume, et al.
Pubblicazione: (2024)

Towards automated generation of fast and accurate algorithms for recursive matrix multiplication
di: Dumas, Jean-Guillaume, et al.
Pubblicazione: (2025)

Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices
di: Oki, Taihei, et al.
Pubblicazione: (2024)

Debugging code world models
di: Rahmani, Babak
Pubblicazione: (2026)

Rigorous numerical computation of the Stokes multipliers for linear differential equations with single level one
di: Loday-Richaud, Michèle, et al.
Pubblicazione: (2026)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
di: Dzafic, Izudin, et al.
Pubblicazione: (2025)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
di: Gorna, Karolina, et al.
Pubblicazione: (2026)

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
di: Heisinger, Maximilian, et al.
Pubblicazione: (2025)

Practical Modelling with Bigraphs
di: Archibald, Blair, et al.
Pubblicazione: (2024)

Towards Automatic Transformations of Coq Proof Scripts
di: Magaud, Nicolas
Pubblicazione: (2024)

Efficient Tensor Decomposition via Moment Matrix Extension
di: Shi, Bobby, et al.
Pubblicazione: (2025)

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
di: Zeng, Zhenbing, et al.
Pubblicazione: (2025)

A Finite Expression Method for Solving High-Dimensional Committor Problems
di: Song, Zezheng, et al.
Pubblicazione: (2023)

On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations
di: Treumova, Veronika, et al.
Pubblicazione: (2024)

Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
di: Moroz, Guillaume
Pubblicazione: (2024)

A Fast Algorithm for the Finite Expression Method in Learning Dynamics on Complex Networks
di: Song, Zezheng, et al.
Pubblicazione: (2024)

Dissipative quadratizations of polynomial ODE systems
di: Cai, Yubo, et al.
Pubblicazione: (2023)

The complexity of class polynomial computation via floating point approximations
di: Enge, Andreas
Pubblicazione: (2006)

Antiassociative algebra in R: introducing the evitaicossa package
di: Hankinn, Robin K. S.
Pubblicazione: (2024)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
di: Dinu, Marius-Constantin, et al.
Pubblicazione: (2024)

TypedMatrices.jl: An Extensible and Type-Based Matrix Collection for Julia
di: Zhang, Anzhi, et al.
Pubblicazione: (2025)