Related papers: A tutorial for the MAPLE ETA package
In this expository note, we revisit several classical arithmetic functions - namely Euler's totient function, the divisor sum functions and Dedekind's $\psi$-function - within a unifying algebraic framework that highlights their connections…
This paper describes a package for calculations of expressions with Dirac matrixes. Advantages to existing similar packages are described. MatrixExp package is intended for simplification of complex expressions involving $\gamma$-matrixes,…
This work presents the system ANITA (Analytic Tableau Proof Assistant) developed for teaching analytic tableaux to computer science students. The tool is written in Python and can be used as a desktop application, or in a web platform. This…
This talk describes the reasons why $\eta$ and $\eta^\prime$ decays are an interesting topic of study for both theory and experiment. The main part discusses the results of the recent calculation of $\eta\to3\pi$ at two-loop order in ChPT.…
We show an explicit formula, with a quite easy deduction, for the exponential matrix $e^{tA}$ of a real square matrix $A$ of order $n\times n$. The elementary method developed requires neither Jordan canonical form, nor eigenvectors, nor…
The exponential moving average (EMA) is a commonly used statistic for providing stable estimates of stochastic quantities in deep learning optimization. Recently, EMA has seen considerable use in generative models, where it is computed with…
An update of the ODEtools Maple package, for the analytical solving of 1st and 2nd order ODEs using Lie group symmetry methods, is presented. The set of routines includes an ODE-solver and user-level commands realizing most of the relevant…
We present a Python package called Modular Petri Net Assembly Toolkit (MPAT) that empowers users to easily create large-scale, modular Petri Nets for various spatial configurations, including extensive spatial grids or those derived from…
Using Cauchy's Integral Theorem as a basis, what may be a new series representation for Dirichlet's function $\eta(s)$, and hence Riemann's function $\zeta(s)$, is obtained in terms of the Exponential Integral function $E_{s}(i\kappa)$ of…
We discuss a special function (polyexponential) that extends the natural exponential function and also the exponential integral. The basic properties of the polyexponential are listed and some applications are given. In particular, it is…
We present a new package Theta.jl for computing with the Riemann theta function. It is implemented in Julia and offers accurate numerical evaluation of theta functions with characteristics and their derivatives of arbitrary order. Our…
Kwant is a Python package for numerical quantum transport calculations. It aims to be an user-friendly, universal, and high-performance toolbox for the simulation of physical systems of any dimensionality and geometry that can be described…
This booklet serves as an introduction to Kleene Algebra (KA), a set of laws that can be used to study general equivalences between programs. It discusses how general programs can be modeled using regular expressions, how those expressions…
In the recent years there has been an enormous development in the evaluation of higher order quantum corrections. An essential ingredient in the practical calculations is provided by vacuum diagrams, i.e. integrals without external momenta.…
This paper is a concise and painless introduction to the $\lambda$-calculus. This formalism was developed by Alonzo Church as a tool for studying the mathematical properties of effectively computable functions. The formalism became popular…
EXPODE is a MATLAB toolbox for exponential time integration. It supports exponential Runge-Kutta- and Rosenbrock-methods, linearized and non-linearized multistep-methods and the EXP4. We support evaluation of the arising matrix functions…
We discuss the great importance of using mathematical software in solving problems in today's society. In particular, we show how to use Mathematica software to solve ordinary differential equations exactly and numerically. We also show how…
Our purpose is to give a generalization of Pulita exponential series. After that, we shall use these series to give an analytic expression to a Gauss sums and to a trace formula for Witt vector rings.
Modular deductive verification is a powerful technique capable to show that each function in a program satisfies its contract. However, function contracts do not provide a global view of which high-level (e.g. security-related properties of…
We present ELENA (EvaLuator of tunnElliNg Actions), an open-source Python package designed to compute the full evolution of first-order phase transitions in the early Universe generated by particle physics models, taking into account…