:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Sagebaum, Max, Gauger, Nicolas R.
Format:	Preprint
Published:	2026
Subjects:	Mathematical Software 68N30 G.1.4; G.4; D.2.2
Online Access:	https://arxiv.org/abs/2602.15613
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Adding complex numbers to expression template algorithmic differentiation tools
by: Sagebaum, Max, et al.
Published: (2025)

Hybrid parallel discrete adjoints in SU2
by: Blühdorn, Johannes, et al.
Published: (2024)

Local Adjoints for Simultaneous Preaccumulations with Shared Inputs
by: Blühdorn, Johannes, et al.
Published: (2024)

Employing Continuous Integration inspired workflows for benchmarking of scientific software -- a use case on numerical cut cell quadrature
by: Toprak, Teoman, et al.
Published: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
by: Lauer, Alexander, et al.
Published: (2026)

Reliability Conditions in Quadrature Algorithms
by: Adam, Gh., et al.
Published: (2003)

AI for software engineering: from probable to provable
by: Meyer, Bertrand
Published: (2025)

Challenges in automatic differentiation and numerical integration in physics-informed neural networks modelling
by: Daněk, Josef, et al.
Published: (2024)

Comparison of SeDuMi and SDPT3 Solvers for Stability of Continuous-time Linear System
by: Xu, Guangda
Published: (2023)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
by: López, Hugo A., et al.
Published: (2024)

Concepts for Composing Finite Element Function Space Bases
by: Engwer, Christian, et al.
Published: (2025)

A natural language framework for non-conforming hybrid polytopal methods in Gridap.jl
by: Manyer, Jordi, et al.
Published: (2026)

BEC: Bit-Level Static Analysis for Reliability against Soft Errors
by: Ko, Yousun, et al.
Published: (2024)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
by: Helbling, Caleb, et al.
Published: (2026)

Fast GPU Linear Algebra via Compile Time Expression Fusion
by: Curtin, Ryan R., et al.
Published: (2026)

The Distributed and Unified Numerics Environment (DUNE), Version 2.10
by: Blatt, Markus, et al.
Published: (2025)

Armadillo: An Efficient Framework for Numerical Linear Algebra
by: Sanderson, Conrad, et al.
Published: (2025)

Towards a format for describing networks / 2. Format elements
by: Batagelj, Vladimir, et al.
Published: (2025)

cozy: Comparative Symbolic Execution for Binary Programs
by: Helbling, Caleb, et al.
Published: (2025)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
by: Liu, Kuangxiangzi, et al.
Published: (2025)

Compilation of Generalized Matrix Chains with Symbolic Sizes
by: López, Francisco, et al.
Published: (2025)

Exploration of $k$-edge-deficient temporal graphs in linear time
by: Lahtin, Ivan, et al.
Published: (2026)

Validation of an analyzability model for quantum software: a family of experiments
by: Díaz-Muñoz, Ana, et al.
Published: (2026)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
by: Kratz, Maximilian, et al.
Published: (2025)

The ensmallen library for flexible numerical optimization
by: Curtin, Ryan R., et al.
Published: (2021)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
by: Liyanage, Danushka, et al.
Published: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
by: Rumpe, Bernhard, et al.
Published: (2025)

modOpt: A modular development environment and library for optimization algorithms
by: Joshy, Anugrah Jo, et al.
Published: (2024)

Towards a format for describing networks / 1. Networks and knowledge graphs
by: Batagelj, Vladimir, et al.
Published: (2025)

Gevrey class regularity for steady-state incompressible Navier-Stokes equations in parametric domains and related models
by: Chernov, Alexey, et al.
Published: (2025)

A randomised lattice rule algorithm with pre-determined generating vector and random number of points for Korobov spaces with $0 < α\le 1/2$
by: Nuyens, Dirk, et al.
Published: (2023)

Practical implementation of geometric quasi-cyclic LDPC codes
by: Ball, Simeon, et al.
Published: (2024)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

Graph-Based Specification and Automated Construction of ILP Problems
by: Ehmes, Sebastian, et al.
Published: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
by: Kratz, Maximilian, et al.
Published: (2025)

Contract-based Verification of Digital Twins
by: Naeem, Muhammad, et al.
Published: (2025)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
by: Chen, Xinfang, et al.
Published: (2025)

Efficient Symbolic Computation via Hash Consing
by: Zhu, Bowen, et al.
Published: (2025)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
by: Grahl, Johanna, et al.
Published: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
by: Guo, Jinyao, et al.
Published: (2025)