相关论文: GRAMA. A Mathematica program for analytical calcul…
This work introduces a new software package `Sesame' for the numerical computation of classical semiconductor equations. It supports 1 and 2-dimensional systems and provides tools to easily implement extended defects such as grain…
Efficient simulation of plasmas in various contexts often involves the use of meshes that conform to the intrinsic geometry of the system under consideration. We present here a description of a new magnetohydrodynamic code, Gamera (Grid…
Matrix Graph Grammars (MGG) is a novel approach to the study of graph dynamics ([15]). In the present contribution we look at MGG as a formal grammar and as a model of computation, which is a necessary step in the more ambitious program of…
The article presents computer algebra procedures and routines applied to the study of the Dirac field on curved spacetimes. The main part of the procedures is devoted to the construction of Pauli and Dirac matrices algebra on an anholonomic…
The fourth derivative models for two dimensional gravity are shown to be equivalent to the special version of the nonlinear sigma models coupled to 2d quantum gravity. The reduction consists in the introduction of the auxiliary scalar…
With generative models becoming increasingly sophisticated and diverse, detecting AI-generated images has become increasingly challenging. While existing AI-genereted Image detectors achieve promising performance on in-distribution…
Theorema 2.0 stands for a re-design including a complete re-implementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and his Theorema group at RISC. In this paper, we present the…
We develop a new algorithm to compute a basis for $M_k(\Gamma_0(N))$, the space of weight $k$ holomorphic modular forms on $\Gamma_0(N)$, in the case when the graded algebra of modular forms over $\Gamma_0(N)$ is generated at weight two.…
One significant advantage of superconducting processors is their extensive design flexibility, which encompasses various types of qubits and interactions. Given the large number of tunable parameters of a processor, the ability to perform…
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 different methods for symbolic computer algebra computations in higher dimensional (\ge9) Clifford algebras using the \Clifford\ and \Bigebra\ packages for \Maple(R). This is achieved using graded tensor decompositions,…
We present an alternative formulation of duality-symmetric eleven-dimensional supergravity with both three-form and six-form gauge fields. Instead of the recently-proposed scalar auxiliary field, we use a simpler lagrangian with a…
We present FormTracer, a high-performance, general purpose, easy-to-use Mathematica tracing package which uses FORM. It supports arbitrary space and spinor dimensions as well as an arbitrary number of simple compact Lie groups. While…
Numerical simulation serves as a cornerstone in scientific modeling, yet the process of fine-tuning simulation parameters poses significant challenges. Conventionally, parameter adjustment relies on extensive numerical simulations, data…
Symbolic algebra relevant to the renormalization of gauge theories can be efficiently performed by machine using modern packages. We devise a scheme for representing and manipulating the objects involved in perturbative calculations of…
KHARMA (an acronym for "Kokkos-based High-Accuracy Relativistic Magnetohydrodynamics with Adaptive mesh refinement") is a new open-source code for conducting general-relativistic magnetohydrodynamic simulations in stationary spacetimes,…
After reviewing the development of 10D, superspace theories, and their relations to superstring and heterotic string theories, explicit calculations are undertaken in the on-shell $\cal N$ = 1 linearized supergravity, the associated…
We review the group-geometric approach to supergravity theories, in the perspective of recent developments and applications. Usual diffeomorphisms, gauge symmetries and supersymmetries are unified as superdiffeomorphisms in a supergroup…
In recent years, dynamical relativistic jet simulation techniques have progressed to a point where it is becoming possible to fully numerically resolve gamma-ray burst (GRB) blast-wave evolution across scales. However, the modeling of…
A genuine gauge theory for the Poincar\'e, de Sitter or anti-de Sitter algebras can be constructed in (2n-1)-dimensional spacetime by means of the Chern-Simons form, yielding a gravitational theory that differs from General Relativity but…