Imagen de Portada

FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chang, Tung-Che, Park, Sehyeok, Lim, Jay P, Nagarakatte, Santosh
Formato:	Preprint
Publicado:	2026
Materias:	Mathematical Software
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes
por: Park, Sehyeok, et al.
Publicado: (2026)

RLibm-MultiRound: Correctly Rounded Math Libraries Without Worrying about the Application's Rounding Mode
por: Park, Sehyeok, et al.
Publicado: (2025)

Fast Trigonometric Functions using the RLIBM Approach
por: Park, Sehyeok, et al.
Publicado: (2025)

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

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
por: Allred, Taylor, et al.
Publicado: (2024)

Inexactness and Correction of Floating-Point Reciprocal, Division and Square Root
por: Dutton, Lucas M., et al.
Publicado: (2024)

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

Generalized Methodology for Determining Numerical Features of Hardware Floating-Point Matrix Multipliers: Part I
por: Khattak, Faizan A, et al.
Publicado: (2025)

Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
por: Kaufmann, Matt, et al.
Publicado: (2025)

LeanBET: Formally-verified surface area calculations in Lean
por: Ugwuanyi, Ejike D., et al.
Publicado: (2026)

Interface for Sparse Linear Algebra Operations
por: Abdelfattah, Ahmad, et al.
Publicado: (2024)

Tensor Algebra Processing Primitives (TAPP): Towards a Standard for Tensor Operations
por: Brandejs, Jan, et al.
Publicado: (2026)

A Hybrid Residue Floating Numerical Architecture for High Precision Arithmetic on FPGAs
por: Darvishi, Mostafa
Publicado: (2025)

Analysis of Floating-Point Matrix Multiplication Computed via Integer Arithmetic
por: Abdelfattah, Ahmad, et al.
Publicado: (2025)

TorchDA: A Python package for performing data assimilation with deep learning forward and transformation functions
por: Cheng, Sibo, et al.
Publicado: (2024)

CuTe Layout Representation and Algebra
por: Cecka, Cris
Publicado: (2026)

\texttt{DR-DAQP}: An Hybrid Operator Splitting and Active-Set Solver for Affine Variational Inequalities
por: Arnström, Daniel, et al.
Publicado: (2026)

CausalVerse: Benchmarking Causal Representation Learning with Configurable High-Fidelity Simulations
por: Chen, Guangyi, et al.
Publicado: (2025)

pyGinkgo: A Sparse Linear Algebra Operator Framework for Python
por: Tuteja, Keshvi, et al.
Publicado: (2025)

Towards Richer Challenge Problems for Scientific Computing Correctness
por: Sottile, Matthew, et al.
Publicado: (2025)

Enhancing non-Perl bioinformatic applications with Perl: Building novel, component based applications using Object Orientation, PDL, Alien, FFI, Inline and OpenMP
por: Argyropoulos, Christos
Publicado: (2024)

Experience converting a large mathematical software package written in C++ to C++20 modules
por: Bangerth, Wolfgang
Publicado: (2025)

Designing a Framework for Solving Multiobjective Simulation Optimization Problems
por: Chang, Tyler H., et al.
Publicado: (2023)

AsaPy: A Python Library for Aerospace Simulation Analysis
por: Dantas, Joao P. A., et al.
Publicado: (2023)

Linearized Optimal Transport pyLOT Library: A Toolkit for Machine Learning on Point Clouds
por: Linwu, Jun, et al.
Publicado: (2025)

BayesFLo: Bayesian fault localization of complex software systems
por: Ji, Yi, et al.
Publicado: (2024)

Computing Floating-Point Errors by Injecting Perturbations
por: Tan, Youshuai, et al.
Publicado: (2025)

Efficient Implementation of Interior-Point Methods for Quantum Relative Entropy
por: Karimi, Mehdi, et al.
Publicado: (2023)

JetSCI: A Hybrid JAX-PETSc Framework for Scalable Differentiable Simulation
por: Cattaneo, Alberto, et al.
Publicado: (2026)

Correctly Rounded Functions For Vector Applications: A Performance Study
por: Anderson, Cristina, et al.
Publicado: (2026)

An Efficient Batch Solver for the Singular Value Decomposition on GPUs
por: Abdelfattah, Ahmad, et al.
Publicado: (2026)

Fast Large-Scale Model-Based Iterative Tomography via Exploiting Mathematical Structure, Hierarchical Optimization, Smart Initialization, and Distributed GPU Computing
por: Kumar, Dinesh, et al.
Publicado: (2026)

Porting the Nonlinear Optimization Library HiOp to Accelerator-Based Hardware Architectures
por: Peles, Slaven, et al.
Publicado: (2026)

Interprocess Communication of Algebraic Data
por: Della Vecchia, Antony
Publicado: (2026)

A Proposed Framework for Advanced (Multi)Linear Infrastructure in Engineering and Science (FAMLIES)
por: Matthews, Devin A., et al.
Publicado: (2026)

Computing FFTs at Target Precision Using Lower-Precision FFTs
por: Kawakami, Shota, et al.
Publicado: (2026)

Analyzing Computational Approaches for Differential Equations: A Study of MATLAB, Mathematica, and Maple
por: Ogethakpo, Arhonefe Joseph, et al.
Publicado: (2025)

Harnessing Batched BLAS/LAPACK Kernels on GPUs for Parallel Solutions of Block Tridiagonal Systems
por: Jin, David, et al.
Publicado: (2025)

ORTHOCUB: integral and differential cubature rules by orthogonal moments
por: Rinaldi, Laura, et al.
Publicado: (2025)

ATC: an Advanced Tucker Compression library for multidimensional data
por: Baert, Wouter, et al.
Publicado: (2021)