:: Library Catalog

$Cover Image$

Saved in:

Bibliographic Details
Main Authors:	Park, Sehyeok, Kim, Justin, Nagarakatte, Santosh
Format:	Preprint
Published:	2025
Subjects:	Mathematical Software
Online Access:	https://arxiv.org/abs/2504.07409
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean
by: Chang, Tung-Che, et al.
Published: (2026)

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

On Stochastic Rounding with Few Random Bits
by: Fitzgibbon, Andrew, et al.
Published: (2025)

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

Mixed-precision finite element kernels and assembly: Rounding error analysis and hardware acceleration
by: Croci, M., et al.
Published: (2024)

Fast Relax-and-Round Unit Commitment with Economic Horizons
by: Regev, Shaked, et al.
Published: (2026)

Unsupervised Evaluation of Code LLMs with Round-Trip Correctness
by: Allamanis, Miltiadis, et al.
Published: (2024)

Fast Relax-and-Round Unit Commitment with Sub-hourly Mechanical and Ramp Constraints
by: Regev, Shaked, et al.
Published: (2026)

The Second Round: Diverse Paths Towards Software Engineering
by: Hyrynsalmi, Sonja, et al.
Published: (2024)

Round-trip Engineering for Tactical DDD: A Constraint-Based Vision for the Masses
by: Zhang, Weixing, et al.
Published: (2026)

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

Victor Calibration (VC): Multi-Pass Confidence Calibration and CP4.3 Governance Stress Test under Round-Table Orchestration
by: Stasiuc, Victor
Published: (2025)

Fair Schedules for Single Round Robin Tournaments with Ranked Participants
by: Wessel, Sten, et al.
Published: (2025)

Assessing the Latent Automated Program Repair Capabilities of Large Language Models using Round-Trip Translation
by: Ruiz, Fernando Vallecillos, et al.
Published: (2024)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
by: Tirpankar, Tanmay, et al.
Published: (2025)

The Willing Kingdon Clifford Algebra Library
by: Roelfs, Martin
Published: (2025)

Building Hamiltonian Cycles in the Semi-Random Graph Process in Less Than $2n$ Rounds
by: Frieze, Alan, et al.
Published: (2023)

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

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

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

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

Sparse Iterative Solvers Using High-Precision Arithmetic with Quasi Multi-Word Algorithms
by: Mukunoki, Daichi, et al.
Published: (2025)

Performance Portable Gradient Computations Using Source Transformation
by: Liegeois, Kim, et al.
Published: (2025)

libhmm: A Modern C++20 Library for Hidden Markov Models with Correct MLE Emission M-Steps
by: Wolfman, Gary
Published: (2026)

svds-C: A Multi-Thread C Code for Computing Truncated Singular Value Decomposition
by: Feng, Xu, et al.
Published: (2024)

The Effects of High-frequency Anticipatory Trading: Small Informed Trader vs. Round-Tripper
by: Xu, Ziyi, et al.
Published: (2023)

Smoothing Methods for Automatic Differentiation Across Conditional Branches
by: Kreikemeyer, Justin N., et al.
Published: (2023)

InfoFusion Controller: Informed TRRT Star with Mutual Information based on Fusion of Pure Pursuit and MPC for Enhanced Path Planning
by: Choi, Seongjun, et al.
Published: (2025)

Adaptation of XAI to Auto-tuning for Numerical Libraries
by: Aoki, Shota, et al.
Published: (2024)

MediRound: Multi-Round Entity-Level Reasoning Segmentation in Medical Images
by: Tong, Qinyue, et al.
Published: (2025)

CombOL: a Library for Practical Enumeration and Boltzmann Sampling of Combinatorial Classes
by: Eriksen, Casper Asbjørn, et al.
Published: (2026)

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

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

The Round Robin Library Tour.
by: Miller, A. Carolyn
Published: (1980)

RoundTable
Published: (2018)

Low-Rank SPIKE Framework for Solving Large Sparse Linear Systems with Applications
by: Spring, Braegan S., et al.
Published: (2025)

Cooper: A Library for Constrained Optimization in Deep Learning
by: Gallego-Posada, Jose, et al.
Published: (2025)

LibMOON: A Gradient-based MultiObjective OptimizatioN Library in PyTorch
by: Zhang, Xiaoyuan, et al.
Published: (2024)

Utilization of G-Programming Language for Educational Control Application: Case Study of Magnetic Levitation of Elastic Beam
by: Amr, Abdallah, et al.
Published: (2024)