:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Wolf, Armin
Format:	Preprint
Published:	2024
Subjects:	Mathematical Software
Online Access:	https://arxiv.org/abs/2404.12797
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Valid Inequalities for Mixed Integer Bilevel Linear Optimization Problems
by: Tahernejad, Sahar, et al.
Published: (2025)

Improving Directions in Mixed Integer Bilevel Linear Optimization
by: Battista, Federico, et al.
Published: (2025)

Algorithms for Nonlinear Mixed-Integer Location Estimation
by: Uziel, Ophir, et al.
Published: (2025)

The Ramanujan Library -- Automated Discovery on the Hypergraph of Integer Relations
by: Beit-Halachmi, Itay, et al.
Published: (2024)

Provably Optimal Quantum Circuits with Mixed-Integer Programming
by: Nagarajan, Harsha, et al.
Published: (2025)

GPU Implementations for Midsize Integer Addition and Multiplication
by: Oancea, Cosmin E., et al.
Published: (2024)

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

Axis-Aligned Relaxations for Mixed-Integer Nonlinear Programming
by: Zhu, Haisheng, et al.
Published: (2026)

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

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

An Innovative Algorithm For Robust, Interactive, Piecewise-Linear Data Exploration
by: Wright, Stephen, et al.
Published: (2025)

On Connectedness of Solutions to Integer Linear Systems
by: Shigenobu, Takasugu, et al.
Published: (2024)

Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
by: Qu, Zheng, et al.
Published: (2025)

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

Automatizing Software Cognitive Complexity Reduction through Integer Linear Programming
by: Saborido, Rubén, et al.
Published: (2024)

A Test for FLOPs as a Discriminant for Linear Algebra Algorithms
by: Sankaran, Aravind, et al.
Published: (2022)

SeqTG: Scalable Combinatorial Test Generation via Sequential Integer Linear Programming
by: Yang, Sitong, et al.
Published: (2026)

Differentiating Through Linear Solvers
by: Hovland, Paul, et al.
Published: (2024)

An Integer Linear Program for Periodic Scheduling in Universities
by: Moradi, Sina
Published: (2024)

The Mixed Integer Trust Region Problem
by: Del Pia, Alberto
Published: (2024)

Solving the Convex Flow Problem
by: Diamandis, Theo, et al.
Published: (2024)

Image-To-Mesh Conversion for Biomedical Simulations
by: Drakopoulos, Fotis, et al.
Published: (2024)

A Computational Framework and Implementation of Implicit Priors in Bayesian Inverse Problems
by: Everink, Jasper M., et al.
Published: (2025)

DEViaN-LM: An R Package for Detecting Abnormal Values in the Gaussian Linear Model
by: Berthelot, Geoffroy, et al.
Published: (2025)

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

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

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

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

Software Development Aspects of Integrating Linear Algebra Libraries
by: Koch, Marcel, et al.
Published: (2025)

ODE Test Problems: a MATLAB suite of initial value problems
by: Roberts, Steven, et al.
Published: (2019)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
by: Dai, Steve, et al.
Published: (2025)

Solving Multivariate Polynomial Systems and Rectangular Multiparameter Eigenvalue Problems with MacaulayLab
by: Vermeersch, Christof, et al.
Published: (2026)

A Modular Approach to Stochastic Optimisation for Inverse Problems Using the Core Imaging Library
by: Papoutsellis, Evangelos, et al.
Published: (2026)

Holistic Generalized Linear Models
by: Schwendinger, Benjamin, et al.
Published: (2022)

Integers
Published: (2018)

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)

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

QRTlib: A Library for Fast Quantum Real Transforms
by: Ahmadkhaniha, Armin, et al.
Published: (2025)

An SDP Relaxation for the Sparse Integer Least Squares Problem
by: Del Pia, Alberto, et al.
Published: (2022)