Related papers: GRAMA. A Mathematica program for analytical calcul…
This paper presents STrEAM (SuperTrace Evaluation Automated for Matching), a Mathematica package that calculates all functional supertraces which arise when matching a generic UV model onto a relativistic Effective Field Theory (EFT) at one…
The CREAM GAP package computes automorphisms, congruences, endomorphisms and subalgebras of algebras with an arbitrary number of binary and unary operations; it also decides if between two such algebras there exists a monomorphism, an…
We describe an algorithm for computing counterfactual trade flows, prices, output, and welfare in a large class of general equilibrium trade models. We introduce a command called ge_gravity2 that allows users to perform these computations…
We present the SLIM (https://github.com/slimgroup) open-source software framework for computational geophysics, and more generally, inverse problems based on the wave-equation (e.g., medical ultrasound). We developed a software environment…
We develop a new and efficient method to systematically analyse four dimensional effective supergravities which descend from flux compactifications. The issue of finding vacua of such systems, both supersymmetric and non-supersymmetric, is…
The Sparse Grids Matlab Kit provides a Matlab implementation of sparse grids, and can be used for approximating high-dimensional functions and, in particular, for surrogate-model-based uncertainty quantification. It is lightweight,…
In this paper we report on an application of computer algebra in which mathematical puzzles are generated of a type that had been widely used in mathematics contests by a large number of participants worldwide. The algorithmic aspect of our…
Analyzing high-dimensional data presents challenges due to the "curse of dimensionality'', making computations intensive. Dimension reduction techniques, categorized as linear or non-linear, simplify such data. Non-linear methods are…
We consider the problem of efficiently approximating and encoding high-dimensional data sampled from a probability distribution $\rho$ in $\mathbb{R}^D$, that is nearly supported on a $d$-dimensional set $\mathcal{M}$ - for example…
An algorithm is presented that formalizes different steps in a classical Supersymmetric (SUSY) calculation. Based on the algorithm Dill, a symbolic software package, that can perform the calculations, is developed in the Mathematica…
We introduce five and higher dimensional $\gamma$-metrics. The higher dimensional metrics are exact solutions of the vacuum field equations and represent new types of singularities. For dimensions $d>5$ we have obtained $\gamma$-metrics in…
We propose a new dynamical system formalism for the analysis of f(R) cosmologies. The new approach eliminates the need for cumbersome inversions to close the dynamical system and allows the analysis of the phase space of f(R)-gravity models…
The ten-dimensional supergravity theory is a geometric low-energy effective theory and the equations of motion for its fields can be obtained from string theory by computing $\beta$ functions. With $d$ compact dimensions, we can add to it…
A short introduction to N = 1 supergravity in four dimensions in the superspace approach is given emphasising on all steps to obtain the final Lagrangian. In particular starting from geometrical principles and the introduction of…
The standard paradigm of cosmology assumes General Relativity (GR) is a valid theory for gravity at scales in which it has not been properly tested. Developing novel tests of GR and its alternatives is crucial if we want to give strength to…
For a graph $\Gamma$ and group $G$, $G^\Gamma$ is the subgroup of $G^{|\Gamma|}$ generated by elements with $g$ in the coordinates corresponding to $v$ and its neighbors in $\Gamma$. There is a natural epimorphism $G^\Gamma \to…
Computations in Dynamical Triangulation Models of Four-Dimensional Quantum Gravity involve weighted averaging over sets of all distinct triangulations of compact four-dimensional manifolds. In order to be able to perform such computations…
Designing software systems for Geometric Computing applications can be a challenging task. Software engineers typically use software abstractions to hide and manage the high complexity of such systems. Without the presence of a unifying…
Recently, the concept of a nonlinear sigma-model over a coset space G/H was generalized to the case where the group G is an infinite-dimensional Kac-Moody group, and H its (formal) `maximal compact subgroup'. Here, we study in detail the…
We present a ten-dimensional theory, named \beta-supergravity, that contains non-geometric fluxes and could uplift some four-dimensional gauged supergravities. Building on earlier work, we study here its NSNS sector, where Q- and R-fluxes…