Any-degree Qr factorization triangularizes polynomial systems
The unitary factor preserves the original solution set for zero- and positive-dimensional cases, extending numerical methods beyond linear a
full image
Mathematical Software
Roughly includes material in ACM Subject Class G.4.
The unitary factor preserves the original solution set for zero- and positive-dimensional cases, extending numerical methods beyond linear a
full image
GPU-First Heisenberg-Picture Tensor Network Dynamics for the 2D Transverse-Field Ising Model
Zero-malloc workspace and device-only permutations remove host bottlenecks during Heisenberg-picture contraction.
full image
bgspprc uses compile-time resources and bucket-graph labelling for faster pricing in vehicle routing solvers.
full image
Improved Scaling for Fast Mode of Ozaki Scheme II
New formula from CRT uniqueness condition guarantees validity for any input scaling at no extra cost and matches accurate-mode accuracy at f
full image
Density Functions and Random Number Generators of α-Stable Distributions
AUB-HTP adds multivariate sampling and widens the usable parameter range for these heavy-tailed distributions.
full image
pyDOF: a Python library for the design of discrete forward and inverse filters
Users set monotonicity, positivity and other rules; coefficients are written to plain text usable in any code.
full image
EmuGEMM: Fused Tensor Core Kernels for Precision Emulation in Matrix Multiplication
By keeping Ozaki intermediates on-chip, EmuGEMM beats cuBLAS TF32 by up to 1.7x on Hopper and Blackwell at matching accuracy.
full image
Formalization of Line Search Methods by Lean
Machine-checked proofs cover Armijo, Wolfe conditions and global convergence for gradient-based methods
New convergence results for Carleman linearization
Explicit degree-aware bounds from Dyson-Duhamel expansion give finite-degree estimates and improve on prior results for test ODEs.
full image
Memory Layouts for GPU-Data Transfer Buffering in SPH
Access-pattern decomposition of particle data lowers total offloading overhead by 12-25% as transfers dominate runtime.
full image
Arc-Length Parameterized Interpolating Splines
Previous techniques either miss the points or use non-arc-length parameterization; this keeps both.
full image
An Asynchronous multi-rate Taylor method for Delay Differential Equations
Local clocks and static buffers advance only active sub-graphs while eliminating dynamic memory allocation and interpolation.
High-level abstractions for spectral/hp operators lower progressively with domain optimizations at each stage.
full image
Multiword Arithmetic and Parallel Computing
Register storage of unevaluated 64-bit sums supports GPU tasking for higher precision without custom libraries.
full image
WingSpan: Concurrency and Dependence for Sparse and Structured Tensor Compilers
WingSpan reaches hand-tuned SpGEMM speed and uses dependence analysis to keep compositions safe.
full image
Coarse Solvers for Exascale Solution of Poisson Problems
Non-nested global space enables communication-free interpolation inside two-level Schwarz method for pMG pressure Poisson solves
full image
Software package MaRDI Open Interfaces for improved interoperability in numerical optimization
MaRDI Open Interfaces standardizes connections to different solvers, freeing researchers to focus on experiments like PINN training for PDEs
full image
MaRDI Open Interfaces for Interoperable Nonlinear Optimization
Automated marshalling cuts code changes when testing multiple solvers across languages.
full image
Formalizing Extended Complex Numbers, Mobius Transformations, and Cross Ratio in Lean 4
Machine-checked proofs confirm that any three distinct points determine a unique Möbius transformation and that the cross ratio stays fixed.
Evaluating Rust for Sparse Matrix Kernels in Scientific Computing
Benchmarks across SpMV, Lanczos, and exponential workloads show native Rust code tracks state-of-the-art CSC performance.
Balanced Twins: Causal Inference on Time Series with Hidden Confounding
By learning latent representations and propensity scores together, the method matches units to recover counterfactuals under hidden bias and
full image
A Diagnostic Software Suite for Auditing Learned PDE Simulators
Suite of structural checks on five benchmarks shows single error score misses coherence failures
ANEForge: Python for direct computation on the Apple Neural Engine
Compiles lazy tensor graphs to native ANE programs that finish ResNet-18 forward passes in 0.33 ms and support training.
full image
JSON documents and IEEE P3109 cross-walk give engineers a shared reference to diagnose numeric divergences across accelerators.
JAX-AMG: A GPU-Accelerated Differentiable Sparse Linear Solver Library for JAX
The wrapper supplies algebraic multigrid and Krylov methods as native JAX primitives that support JIT, adjoint AD, batching and MPI with set
full image
Dynamic and steady-state Python versions match published references and give consistent MLSS estimates.
full image
Floating-point autotuning with customized precisions
A systematic search plus validation produces mixed-precision variants that meet accuracy targets while cutting memory and energy use in nume
full image
CATEKAPPA lets users without programming skills design consistency tests and interpret categorical agreement via a web app.
full image
On GPU Implementation for Multi-Precision Integer Division
Implementation using shifted-inverse iteration and prefix sums reaches performance close to a multiplication-only cost model on CUDA hardwar
full image
RedZeD: Computing persistent homology by Reduction to Zero Differentials
Active enumeration on Vietoris-Rips filtrations cuts time and memory versus standard algorithms.
full image
Look Before You Leap: Checking In on Type Tag Checking
Microbenchmarks on AArch64 and x86-64 show local bit operations beat heap reads for tags while NaN-boxing saves allocation for floats.
full image
The formula matches nine realized formats exactly and generates consistent splits up to 1024 bits without further choices.
Fitting scattered data with optional monotonicity constraints on GPU: LipFit package
Upper and lower envelopes on scattered points produce continuous approximations that obey ordering rules and run on graphics hardware.
full image
Ozaki-Bailey projects 18 ms for 1024 cubed at full precision versus 12.9 ms memory roof
full image
libhmm: A Modern C++20 Library for Hidden Markov Models with Correct MLE Emission M-Steps
Replaces method-of-moments approximations in Baum-Welch with ECME and Newton-Raphson for Gamma, Beta, Weibull and others.
full image
Computing statistical solutions of a Mach 2000 astrophysical jet
Ensemble of 1000 simulations shows probability measure stabilizing despite chaotic individual flows diverging
full image
IntegrateUnitary.jl: A Julia package for symbolic integration over Haar measures
Handles Weingarten calculus for unitary, orthogonal, symplectic and other groups with symbolic dimension support.
full image
Fast computation of Ehrhart polynomials of Gelfand--Tsetlin polytopes via Macdonald reciprocity
Ehrhart-Macdonald reciprocity turns many negative evaluations into quick or zero strict-pattern counts, and adaptive choice yields practical
Secure and Parallel Determinant Computation for Large-Scale Matrices in Edge Environments
Distortion method hides matrix data from untrusted servers yet returns the exact original determinant after parallel processing.
full image
A shared numerical linear algebra method works regardless of basis or monomial order and handles infinite positive-dimensional solution sets
full image
A C implementation of the Smith massager algorithm
Practical C code for the 2020 Las Vegas algorithm runs in time of one BLAS multiply for n up to 10007
full image
critband: A Python Package for Critical Bandwidth Analysis of Multimodal Distributions
critband applies critical bandwidth search with FFT acceleration to give stable mode counts for separated cases across scientific data types
Equality saturation with datalog rules and Henkin constants reduces domain-set detection from minutes to seconds while restoring readablecom
full image
A Hybrid Optimization Framework for Spatial Packaging of Interconnected Systems
Method using ball decomposition and gradient refinement matches analytical optima within 2 percent on benchmarks.
full image
Spatial Optimization of Interconnected Systems in Non-Convex Design Spaces
Differentiable boundary evaluation enables simultaneous routing and inertia optimization while preserving geometric feasibility.
full image
LeanBET: Formally-verified surface area calculations in Lean
The pipeline proves regression coefficients minimize error, window enumeration is sound, and results match reference to machine precision.
full image
High-Performance Star-M SVD for Big Data Compression
New implementation delivers optimal compression of large scientific data with matrix-like guarantees.
full image
Correctly Rounded Functions For Vector Applications: A Performance Study
Single-precision designs integrated into CPU library form core of release planned for mid-2026, with GPU versions for cross-platform results
full image
Porting the Nonlinear Optimization Library HiOp to Accelerator-Based Hardware Architectures
The HiOp library reformulates each iteration so the entire solver fits on accelerator hardware for optimal power flow cases.
full image
Reduces custom code needed for non-ergodic dynamics and uncertainty experiments
full image
Basilisk and Docker for Reproducible GN&C Simulation: A Workflow Reference
The workflow packages the full environment so identical spacecraft control tests run on any machine without dependency conflicts.
full image
QuPort: Topology-, Port-, and Congestion-Aware Compilation for Modular Multi-QPU Quantum Systems
TPCCAP balances weighted cut distance, port usage, and routed loads on a three-level topology model so cross-device traffic does not create瓶
full image
A Performance-Portable, Massively Parallel Distributed Nonuniform FFT
Kokkos code matches specialized single-GPU speed while enabling billion-particle spectral plasma runs on three supercomputers
full image
A Riemannian quasi-Newton algorithm for optimization with Euclidean bounds
Tangent-space updates plus adapted Cauchy point strategy match classical performance on Euclidean problems and deliver large speedups on two
full image
cuRegOT: A GPU-Accelerated Solver for Entropic-Regularized Optimal Transport
cuRegOT's optimizations deliver major performance gains over existing GPU methods while ensuring algorithmic convergence.
full image
MeTime: An R package for reproducible longitudinal metabolomics data analysis
Longitudinal studies keep data, metadata and results together so workflows stay transparent and reports generate automatically.
FalconGEMM: Surpassing Hardware Peaks with Lower-Complexity Matrix Multiplication
The framework automates LCMA selection and group-parallel execution to beat cuBLAS and AlphaTensor on GPUs and CPUs.
full image
Differentiable Parameter Optimization for DAEs with State-Dependent Events
Two methods return valid derivatives along the forward event path for systems with algebraic constraints and resets.
full image
Randompack: Cross-Platform Reproducible Random Number Generation and Distribution Sampling
The C library separates engines from distributions to achieve both faster sampling and bit-for-bit compatibility from the same seeds.
full image
CombOL: a Library for Practical Enumeration and Boltzmann Sampling of Combinatorial Classes
A library takes compact class definitions, derives generating functions, and returns statistically exact samples free of floating-point bias
full image
Interprocess Communication of Algebraic Data
Design decisions in the serialization framework allow fine tuning for specific use cases while enabling interprocess communication.
full image
Exact Higher-Order Derivatives for SE(3) via Analytical/AD Methods
Placing analytical Jacobians up to y=Tx lets the same gradient code produce precise higher-order tensors without finite-difference tuning.
QBalance uses weighted objectives and non-dominated selection to balance compilation, noise suppression, and mitigation choices for nearterm
full image
A Python desktop app supports standard and custom models while exporting structured results and propagating parameter uncertainties for expe
full image
Library matches py_vollib API while shipping vectorized Halley and Jäckel solvers for batched European options
full image
Fitting Large Nonlinear Mixed Effects Models Using Variational Expectation Maximization
Variational Expectation Maximization scales NLME model fitting to over 15,000 population parameters using flexible variational families and…
Extending UNIQuE: Quantum Simulation Speedup for the HHL Algorithm
Emulated version grows exponentially with system size alone, unlike state-vector methods that also track eigenvalue magnitude.
full image
Statistical Inference and Quality Measures of KV Cache Quantisations Inspired by TurboQuant
Treating keys with simpler quantization than values reduces divergence because softmax amplifies key inner-product variance more than value.
full image
Fast GPU Linear Algebra via Compile Time Expression Fusion
Bandicoot matches Armadillo's API while generating optimized kernels without JIT overhead or runtime expression costs.
full image
JetSCI: A Hybrid JAX-PETSc Framework for Scalable Differentiable Simulation
JetSCI keeps JAX differentiation and GPU speed while handing the linear algebra to PETSc for distributed-memory efficiency and accuracy.
full image
Efficient generation of expected-degree graphs via edge-arrivals
An exact O(n+m) generator for rank-1 expected-degree graphs uses edge arrivals in a multigraph followed by projection to recover the…
Ocean: Fast Estimation-Based Sparse General Matrix-Matrix Multiplication on GPU
Lightweight estimation replaces the symbolic pass to cut runtime 1.4x-2.8x on A100 and H100 across square and rectangular matrices
full image
Block-encodings as programming abstractions: The Eclipse Qrisp BlockEncoding Interface
Constructors and composition tools let users apply these embeddings to matrix inversion and simulation without low-level circuit work.
full image
A Proposed Framework for Advanced (Multi)Linear Infrastructure in Engineering and Science (FAMLIES)
The framework targets high-performance linear and tensor operations from single nodes to massive parallelism on CPU and GPU hardware.
full image
k-server-bench: Automating Potential Discovery for the k-Server Conjecture
Agents fully solve k=3 and cut violations on open k=4, giving researchers a new testbed and discovery tool
full image
Polylab: A MATLAB Toolbox for Multivariate Polynomial Modeling
MPOLY for light interactive work; MPOLY-HP for heavy simplification and medium-to-large affine-normal tasks; stochastic variant for large-sp
full image
Accurate Residues for Floating-Point Debugging
Splitting error computation from residue evaluation and reassembling results across a few runs cuts spurious warnings on scientific code
full image
Douglas-Rachford splitting with active-set Newton corrections beats PATH by up to two orders of magnitude on random problems
full image
Multi-component computations using hardware binary64 and binary32 gain acceleration for triple and quadruple precision on x86 and ARM
full image
Accelerating High-Order Finite Element Simulations at Extreme Scale with FP64 Tensor Cores
Kernel fusion on Grace Hopper and Blackwell GPUs yields the gains at 10,000-GPU scale for production codes.
full image