Related papers: Dill: An Algorithm and a Symbolic Software Package…
I discuss the various available tools for the study of the properties of the new particles predicted in the Minimal Supersymmetric extension of the Standard Model. Emphasis will be put on the codes for the determination of the sparticle and…
We present a mathematica package that performs the symbolic calculation of integrals of the form \int^{\infty}_0 e^{-x/u} x^n j_{\nu} (x) j_{\mu} (x) dx where $j_{\nu} (x)$ and $j_{\mu} (x)$ denote spherical Bessel functions of integer…
The Weyl closure is a basic operation in algebraic analysis: it converts a system of differential operators with rational coefficients into an equivalent system with polynomial coefficients. In addition to encoding finer information on the…
This paper describes algorithms to deal with nested symbolic sums over combinations of harmonic series, binomial coefficients and denominators. In addition it treats Mellin transforms and the inverse Mellin transformation for functions that…
Siril is a powerful open-source software package designed for the preprocessing and post-processing of astronomical images. It is particularly well-suited for astrophotography enthusiasts and professional astronomers alike. Siril provides…
Methods for the computation of invariants and symmetries of nonlinear evolution, wave, and lattice equations are presented. The algorithms are based on dimensional analysis, and can be implemented in any symbolic language, such as…
The lattice provides a powerful tool to non-perturbatively investigate strongly coupled supersymmetric Yang-Mills (SYM) theories. The pure SU(2) SYM theory with one supercharge is simulated on large lattices with small Majorana gluino…
Sunny is a Julia package designed to serve the needs of the quantum magnetism community. It supports the specification of a very broad class of spin models and a diverse suite of numerical solvers. These include powerful methods for…
A set of algorithms is presented for efficient numerical calculation of the time evolution of classical dynamical systems. Starting with a first approximation for solving the differential equations that has a "reversible" character, we show…
We provide a bestiary of public codes and other algorithmic tools that can be used for analysing supersymmetric phenomenology. We also describe the organisation of the different tools and communication between them. Tools exist that…
FlexibleSUSY is a software package for various calculations in any model of physics beyond the standard model (not just any supersymmetric model). FlexibleSUSY can solve boundary value problems and uses this to find…
We present the Mathematica package SpinorHelicity4D, a dedicated suite for analytic and numeric calculations involving four-dimensional massless and massive spinor-helicity formalism. Analytic features of the package include for example:…
We present an implementation of algorithms for the symbolic integration of hyperlogarithms multiplied by rational functions in the computer algebra system FORM. This implementation encompasses cases where hyperlogarithms have rational…
We survey some general-purpose symbolic software packages that implement algorithms from enumerative and analytic combinatorics. Software for the following areas is covered: basic combinatorial objects, symbolic combinatorics, P\'olya…
In this paper we describe simode: Separable Integral Matching for Ordinary Differential Equations. The statistical methodologies applied in the package focus on several minimization procedures of an integral-matching criterion function,…
Ensuring that safety-critical applications behave as intended is an important yet challenging task. Modeling languages like differential dynamic logic (dL) have proof calculi capable of proving guarantees for such applications. However, dL…
The context of this work is the design of a software, called MEMSALab, dedicated to the automatic derivation of multiscale models of arrays of micro- and nanosystems. In this domain a model is a partial differential equation. Multiscale…
Algorithms are presented for the tanh- and sech-methods, which lead to closed-form solutions of nonlinear ordinary and partial differential equations (ODEs and PDEs). New algorithms are given to find exact polynomial solutions of ODEs and…
We present SubTropica, a Mathematica package that performs symbolic integration of multi-polylogarithmic integrals using recent advances in tropical geometry. It focuses on the class of linearly-reducible Euler integrals, such as Feynman…
Simflowny is an open platform which automatically generates efficient parallel code of scientific dynamical models for different simulation frameworks. Here we present major upgrades on this software to support simultaneously a quite…