Related papers: Dill: An Algorithm and a Symbolic Software Package…
SkyPy is an open-source Python package for simulating the astrophysical sky. It comprises a library of physical and empirical models across a range of observables and a command-line script to run end-to-end simulations. The library provides…
Machine-learning methods are gradually being adopted in a wide variety of social, economic, and scientific contexts, yet they are notorious for struggling with exact mathematics. A typical example is computer algebra, which includes tasks…
We develop the Mechanic package, which is a new numerical framework for dynamical astronomy. The aim of our software is to help in massive numerical simulations by efficient task management and unified data storage. The code is built on top…
We introduce a GUI fronted program that can compute combinatorial properties and topological invariants of recognisable and primitive symbolic substitutions on finite alphabets and their associated tiling spaces. We introduce theory from…
Quantum algorithms for Hamiltonian simulation and linear differential equations more generally have provided promising exponential speed-ups over classical computers on a set of problems with high real-world interest. However, extending…
A supersymmetric $Sp_{L}(6) \times U_{Y}(1)$ model (SUSY $Sp(6)$) is proposed as an extension of the standard electroweak model. The model is applied in a phenomenological study of $B^{0}_{d} \bar{B}^{0}_{d}$ mixing. It is found that the…
Many numerical methods for multiscale differential equations require a scale separation between the larger and the smaller scales to achieve accuracy and computational efficiency. In the area of multiscale dynamical systems, so-called,…
We construct SU$(2|1)$, $d=1$ supersymmetric models based on the coupling of dynamical and semi-dynamical (spin) multiplets, where the interaction term of both multiplets is defined on the generalized chiral superspace. The dynamical…
We focus on a spin-3/2 supersymmetry (SUSY) algebra of Baaklini in D = 3 and explicitly show a nonlinear realization of the SUSY algebra. The unitary representation of the spin-3/2 SUSY algebra is discussed and compared with the ordinary…
"GRAMA" is a Mathematica package for doing symbolic tensor computations and complicated algebraic manipulations in 10-dimensional (D=10) simple (N=1) supergravity. The main new ingredients of this package inside the general Mathematica…
In this article we consider the inversion problem for polynomially computable discrete functions. These functions describe behavior of many discrete systems and are used in model checking, hardware verification, cryptanalysis, computer…
In this paper, we present resolvent4py, a parallel Python package for the analysis, model reduction and control of large-scale linear systems with millions or billions of degrees of freedom. This package provides the user with a friendly…
We analyze a supersymmetric system with four flat directions. We observe several interesting properties, such as the coexistence of the discrete and continuous spectrum in the same range of energies. We also solve numerically the classical…
We study the Nonlinear (Polynomial, N-fold,...) Supersymmetry algebra in one-dimensional QM. Its structure is determined by the type of conjugation operation (Hermitian conjugation or transposition) and described with the help of the…
The goal of program synthesis is to automatically generate programs in a particular language from corresponding specifications, e.g. input-output behavior. Many current approaches achieve impressive results after training on randomly…
We present Trixi.jl, a Julia package for adaptive high-order numerical simulations of hyperbolic partial differential equations. Utilizing Julia's strengths, Trixi.jl is extensible, easy to use, and fast. We describe the main design choices…
Scoring systems are classification models that only require users to add, subtract and multiply a few meaningful numbers to make a prediction. These models are often used because they are practical and interpretable. In this paper, we…
A supersymmetric version is proposed for the well known Harry Dym system. A general class super Lax operator which leads to consistent equations is considered.
In harmonic superspace, the classical equations of motion of $D=4, N=2$ supersymmetric Yang-Mills theory for Minkowski and Euclidean spaces are analyzed. We study dual superfield representations of equations and subsidiary conditions…
We introduce the first, general purpose, slice sampling inference engine for probabilistic programs. This engine is released as part of StocPy, a new Turing-Complete probabilistic programming language, available as a Python library. We…