A FAIR File Format for Mathematical Software
, 2023 We describe a generic JSON based file format which is suitable for computations in computer algebra. This is implemented in the computer algebra system OSCAR, but we also indicate how it can be used in a different ...
Della Vecchia, Antony +2 more
core
Reduction of the Random Access Memory Size in Adjoint Algorithmic Differentiation by Overloading
, 2022 Adjoint algorithmic differentiation by operator and function overloading is based on the interpretation of directed acyclic graphs resulting from evaluations of numerical simulation programs.
Naumann, Uwe
core
Bringing PDEs to JAX with forward and reverse modes automatic differentiation
, 2023 Partial differential equations (PDEs) are used to describe a variety of physical phenomena. Often these equations do not have analytical solutions and numerical approximations are used instead.
Yashchuk, Ivan
core
Computational Bayesian Methods Applied to Complex Problems in Bio and Astro Statistics [PDF]
In this dissertation we apply computational Bayesian methods to three distinct problems. In the first chapter, we address the issue of unrealistic covariance matrices used to estimate collision probabilities.
Elrod, Chris +2 more
core +1 more source
A Distributed Algebra System for Time Integration on Parallel Computers
, 2023 We present a distributed algebra system for efficient and compact implementation of numerical time integration schemes on parallel computers and graphics processing units (GPU).
Incardona, Pietro +3 more
core
A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance
, 2023 As developers of libraries implementing interval arithmetic, we faced the same difficulties when it comes to testing our libraries. What must be tested? How can we devise relevant test cases for unit testing?
Benet, Luis +2 more
core
Learnable & Interpretable Model Combination in Dynamic Systems Modeling
One of the core concepts in science, and something that happens intuitively in every-day dynamic systems modeling, is the combination of models or methods.
Mikelsons, Lars, Thummerer, Tobias
core
Differentiating Through Linear Solvers
Computer programs containing calls to linear solvers are a known challenge for automatic differentiation. Previous publications advise against differentiating through the low-level solver implementation, and instead advocate for high-level approaches ...
Hovland, Paul, Hückelheim, Jan
core
Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
PHCpack is a software package for polynomial homotopy continuation, which provides a robust path tracker [Telen, Van Barel, Verschelde, SISC 2020]. This tracker computes the radius of convergence of Newton's method, estimates the distance to the nearest ...
Verschelde, Jan, Viswanathan, Kylash
core
Predefined Software Environment Runtimes As A Measure For Reproducibility
As part of Mathematical Research Data Initiative (MaRDI), we have developed a way to preserve a software package into an easy to deploy and use sandbox environment we call a "runtime", via a program we developed called MaPS : MaRDI Packaging System.
Kaushik, Aaruni
core