Mathematical Software

Authors and titles for October 2025

[1] arXiv:2510.01495 [pdf, html, other]

Title: Improving Runtime Performance of Tensor Computations using Rust From Python

Kimmie Harding, Daniel M. Dunlavy

Comments: 12 pages, 4 figures

Subjects: Mathematical Software (cs.MS); Numerical Analysis (math.NA)

[2] arXiv:2510.02346 [pdf, other]

Title: Analyzing Computational Approaches for Differential Equations: A Study of MATLAB, Mathematica, and Maple

Arhonefe Joseph Ogethakpo, Ignatius Nkonyeasua Njoseh

Subjects: Mathematical Software (cs.MS)

[3] arXiv:2510.08230 [pdf, html, other]

Title: pyGinkgo: A Sparse Linear Algebra Operator Framework for Python

Keshvi Tuteja, Gregor Olenik, Roman Mishchuk, Yu-Hsiang Tsai, Markus Götz, Achim Streit, Hartwig Anzt, Charlotte Debus

Comments: Accepted for publication at the 54th International Conference on Parallel Processing (ICPP'25)

Subjects: Mathematical Software (cs.MS); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF); Software Engineering (cs.SE)

[4] arXiv:2510.13536 [pdf, html, other]

Title: Sparse Iterative Solvers Using High-Precision Arithmetic with Quasi Multi-Word Algorithms

Daichi Mukunoki, Katsuhisa Ozaki

Subjects: Mathematical Software (cs.MS)

[5] arXiv:2510.14891 [pdf, html, other]

Title: A Performance Portable Matrix Free Dense MTTKRP in GenTen

Gabriel Kosmacher, Eric T. Phipps, Sivasankaran Rajamanickam

Comments: 10 pages, 5 figures, 4 tables, for implementation see this https URL

Subjects: Mathematical Software (cs.MS)

[6] arXiv:2510.15649 [pdf, html, other]

Title: A simple LAD-LASSO coordinate descent algorithm for interactive browser-based GPU applications

Stephen Michael Wright

Subjects: Mathematical Software (cs.MS)

[7] arXiv:2510.00649 (cross-list from quant-ph) [pdf, html, other]

Title: Provably Optimal Quantum Circuits with Mixed-Integer Programming

Harsha Nagarajan, Zsolt Szabó

Subjects: Quantum Physics (quant-ph); Mathematical Software (cs.MS); Optimization and Control (math.OC)

[8] arXiv:2510.01785 (cross-list from astro-ph.IM) [pdf, html, other]

Title: cuHPX: GPU-Accelerated Differentiable Spherical Harmonic Transforms on HEALPix Grids

Xiaopo Cheng, Akshay Subramaniam, Shixun Wu, Noah Brenowitz

Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Mathematical Software (cs.MS)

[9] arXiv:2510.02878 (cross-list from cs.DC) [pdf, html, other]

Title: On the energy efficiency of sparse matrix computations on multi-GPU clusters

Massimo Bernaschi, Alessandro Celestini, Pasqua D'Ambra, Giorgio Richelli

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS); Performance (cs.PF)

[10] arXiv:2510.02948 (cross-list from math.OC) [pdf, html, other]

Title: Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs

Zheng Qu, Defeng Sun, Jintao Xu

Subjects: Optimization and Control (math.OC); Mathematical Software (cs.MS)

[11] arXiv:2510.02998 (cross-list from math.OC) [pdf, other]

Title: Valid Inequalities for Mixed Integer Bilevel Linear Optimization Problems

Sahar Tahernejad, Ted K. Ralphs

Subjects: Optimization and Control (math.OC); Mathematical Software (cs.MS)

[12] arXiv:2510.03421 (cross-list from quant-ph) [pdf, html, other]

Title: Optimizing and benchmarking the computation of the permanent of general matrices

Cassandra Masschelein, Michelle Richer, Paul W. Ayers

Subjects: Quantum Physics (quant-ph); Mathematical Software (cs.MS)

[13] arXiv:2510.05282 (cross-list from physics.comp-ph) [pdf, html, other]

Title: SHarmonic: A fast and accurate implementation of spherical harmonics for electronic-structure calculations

Xavier Andrade, Jacopo Simoni, Yuan Ping, Tadashi Ogitsu, Alfredo A. Correa

Comments: 13 pages, 2 figures. The code can be downloaded from this https URL

Subjects: Computational Physics (physics.comp-ph); Other Condensed Matter (cond-mat.other); Mathematical Software (cs.MS); Chemical Physics (physics.chem-ph)

[14] arXiv:2510.11753 (cross-list from math.NT) [pdf, html, other]

Title: An Effective Method for Solving a Class of Transcendental Diophantine Equations

Zeyu Cai

Subjects: Number Theory (math.NT); Mathematical Software (cs.MS)

[15] arXiv:2510.12705 (cross-list from cs.DC) [pdf, html, other]

Title: A GPU-resident Memory-Aware Algorithm for Accelerating Bidiagonalization of Banded Matrices

Evelyne Ringoot, Rabab Alomairy, Alan Edelman

Comments: 13 pages, 7 figures, 3 tables

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS)

[16] arXiv:2510.13423 (cross-list from cs.SE) [pdf, other]

Title: Towards Richer Challenge Problems for Scientific Computing Correctness

Matthew Sottile, Mohit Tekriwal, John Sarracino

Comments: In Proceedings VSS 2025, arXiv:2510.12314

Journal-ref: EPTCS 432, 2025, pp. 19-26

Subjects: Software Engineering (cs.SE); Mathematical Software (cs.MS)

[17] arXiv:2510.13425 (cross-list from cs.LO) [pdf, other]

Title: Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling

Alper Altuntas, Allison H. Baker, John Baugh, Ganesh Gopalakrishnan, Stephen F. Siegel

Comments: In Proceedings VSS 2025, arXiv:2510.12314

Journal-ref: EPTCS 432, 2025, pp. 60-75

Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)

[18] arXiv:2510.13427 (cross-list from cs.LO) [pdf, other]

Title: Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I

Junchao Zhang (Argonne National Laboratory)

Comments: In Proceedings VSS 2025, arXiv:2510.12314

Journal-ref: EPTCS 432, 2025, pp. 98-105

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS)

[19] arXiv:2510.14049 (cross-list from cs.LG) [pdf, html, other]

Title: CausalVerse: Benchmarking Causal Representation Learning with Configurable High-Fidelity Simulations

Guangyi Chen, Yunlong Deng, Peiyuan Zhu, Yan Li, Yifan Shen, Zijian Li, Kun Zhang

Subjects: Machine Learning (cs.LG); Mathematical Software (cs.MS)

[20] arXiv:2510.14964 (cross-list from math.NA) [pdf, html, other]

Title: Efficient and Flexible Multirate Temporal Adaptivity

Daniel R. Reynolds, Sylvia Amihere, Dashon Mitchell, Vu Thai Luan

Subjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS)

[21] arXiv:2510.15881 (cross-list from cs.OH) [pdf, html, other]

Title: ParamRF: A JAX-native Framework for Declarative Circuit Modelling

Gary V.C. Allen, Dirk I.L. de Villiers

Comments: 6 pages, 4 code listings. Code available at this https URL

Subjects: Other Computer Science (cs.OH); Mathematical Software (cs.MS)

[22] arXiv:2510.15884 (cross-list from cs.AR) [pdf, html, other]

Title: Generalized Methodology for Determining Numerical Features of Hardware Floating-Point Matrix Multipliers: Part I

Faizan A Khattak, Mantas Mikaitis

Comments: Accepted for IEEE HPEC 2025

Subjects: Hardware Architecture (cs.AR); Mathematical Software (cs.MS)

[23] arXiv:2510.16172 (cross-list from eess.SP) [pdf, other]

Title: Fast, Differentiable, GPU-Accelerated Ray Tracing for Multiple Diffraction and Reflection Paths

Jérome Eertmans, Sophie Lequeu, Benoît Legat, Laurent Jacques, Claude Oestges

Comments: 5 pages, 3 figures, submitted to EuCAP 2026

Subjects: Signal Processing (eess.SP); Mathematical Software (cs.MS)

[24] arXiv:2510.16284 (cross-list from cs.DC) [pdf, html, other]

Title: Communication-Efficient and Memory-Aware Parallel Bootstrapping using MPI

Di Zhang

Comments: 6 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS); Numerical Analysis (math.NA); Computation (stat.CO)

[25] arXiv:2510.16625 (cross-list from quant-ph) [pdf, html, other]

Title: QRTlib: A Library for Fast Quantum Real Transforms

Armin Ahmadkhaniha, Lu Chen, Jake Doliskani, Zhifu Sun

Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Mathematical Software (cs.MS); Systems and Control (eess.SY)