Buchumschlag

Adding complex numbers to expression template algorithmic differentiation tools

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sagebaum, Max, Gauger, Nicolas R.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Mathematical Software 68N30 G.1.4; G.4; D.2.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Algorithmic differentiation for domain specific languages in C++ with expression templates
von: Sagebaum, Max, et al.
Veröffentlicht: (2026)

Hybrid parallel discrete adjoints in SU2
von: Blühdorn, Johannes, et al.
Veröffentlicht: (2024)

Local Adjoints for Simultaneous Preaccumulations with Shared Inputs
von: Blühdorn, Johannes, et al.
Veröffentlicht: (2024)

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

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
von: Lauer, Alexander, et al.
Veröffentlicht: (2026)

Reliability Conditions in Quadrature Algorithms
von: Adam, Gh., et al.
Veröffentlicht: (2003)

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

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

AI for software engineering: from probable to provable
von: Meyer, Bertrand
Veröffentlicht: (2025)

Comparison of SeDuMi and SDPT3 Solvers for Stability of Continuous-time Linear System
von: Xu, Guangda
Veröffentlicht: (2023)

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

Concepts for Composing Finite Element Function Space Bases
von: Engwer, Christian, et al.
Veröffentlicht: (2025)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
von: Helbling, Caleb, et al.
Veröffentlicht: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
von: Helbling, Caleb, et al.
Veröffentlicht: (2025)

The Distributed and Unified Numerics Environment (DUNE), Version 2.10
von: Blatt, Markus, et al.
Veröffentlicht: (2025)

modOpt: A modular development environment and library for optimization algorithms
von: Joshy, Anugrah Jo, et al.
Veröffentlicht: (2024)

BEC: Bit-Level Static Analysis for Reliability against Soft Errors
von: Ko, Yousun, et al.
Veröffentlicht: (2024)

Towards a format for describing networks / 2. Format elements
von: Batagelj, Vladimir, et al.
Veröffentlicht: (2025)

Matrix-by-matrix multiplication algorithm with $O(N^2log_2N)$ computational complexity for variable precision arithmetic
von: Paszyński, Maciej
Veröffentlicht: (2024)

Fast GPU Linear Algebra via Compile Time Expression Fusion
von: Curtin, Ryan R., et al.
Veröffentlicht: (2026)

Compilation of Generalized Matrix Chains with Symbolic Sizes
von: López, Francisco, et al.
Veröffentlicht: (2025)

Exploration of $k$-edge-deficient temporal graphs in linear time
von: Lahtin, Ivan, et al.
Veröffentlicht: (2026)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
von: Liu, Kuangxiangzi, et al.
Veröffentlicht: (2025)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
von: Liyanage, Danushka, et al.
Veröffentlicht: (2025)

Armadillo: An Efficient Framework for Numerical Linear Algebra
von: Sanderson, Conrad, et al.
Veröffentlicht: (2025)

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

Tool-Assisted Conformance Checking to Reference Process Models
von: Rumpe, Bernhard, et al.
Veröffentlicht: (2025)

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

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

Graph-Based Specification and Automated Construction of ILP Problems
von: Ehmes, Sebastian, et al.
Veröffentlicht: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
von: Kratz, Maximilian, et al.
Veröffentlicht: (2025)

The ensmallen library for flexible numerical optimization
von: Curtin, Ryan R., et al.
Veröffentlicht: (2021)

Towards a format for describing networks / 1. Networks and knowledge graphs
von: Batagelj, Vladimir, et al.
Veröffentlicht: (2025)

Practical implementation of geometric quasi-cyclic LDPC codes
von: Ball, Simeon, et al.
Veröffentlicht: (2024)

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

A Prompt Learning Framework for Source Code Summarization
von: Xu, Tingting, et al.
Veröffentlicht: (2023)

Multiple Query Satisfiability of Constrained Horn Clauses
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2022)

Contract-based Verification of Digital Twins
von: Naeem, Muhammad, et al.
Veröffentlicht: (2025)

Efficient Symbolic Computation via Hash Consing
von: Zhu, Bowen, et al.
Veröffentlicht: (2025)

Classification via Two-Way Comparisons
von: Chrobak, Marek, et al.
Veröffentlicht: (2023)