Related papers: FORM Version 5.0
The emergence of grid-forming (GFM) inverter technology and the increasing role of machine learning in power systems highlight the need for evaluating the latest dynamic simulators. Open-source simulators offer distinct advantages in this…
In this article, we present the package {\tt Blade} as the first implementation of the block-triangular form improved Feynman integral reduction method. The block-triangular form has orders of magnitude fewer equations compared to the plain…
Text-based motion generation models are drawing a surge of interest for their potential for automating the motion-making process in the game, animation, or robot industries. In this paper, we propose a diffusion-based motion synthesis and…
We have developed URDME, a general software for simulation of stochastic reaction-diffusion processes on unstructured meshes. This allows for a more flexible handling of complicated geometries and curved boundaries compared to simulations…
Nowadays the sector decomposition technique, which can isolate divergences from parametric representations of integrals, becomes a quite useful tool for numerical evaluations of the Feynman loop integrals. It is used to verify the…
"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…
Last year we released version 2.0 of the Feynman integral reduction program Kira. In this contribution we first report on changes and new features since then and, secondly, on new features for upcoming releases.
We describe the implementation of the renormalized complex MSSM (cMSSM) in the diagram generator FeynArts and the calculational tool FormCalc. This extension allows to perform UV-finite one-loop calculations of cMSSM processes almost fully…
The bilinear combination of Dirac spinors $u(p_1,n_1)\bar u(p_2,n_2)$ is expressed in terms of Lorentz vectors in an explicit covariant form. The fact that the obtained expression involves only one auxiliary vector makes it very convenient…
Computer science class enrollments have rapidly risen in the past decade. With current class sizes, standard approaches to grading and providing personalized feedback are no longer possible and new techniques become both feasible and…
As intelligent systems and multi-agent coordination become increasingly central to real-world applications, there is a growing need for simulation tools that are both scalable and accessible. Existing high-fidelity simulators, while…
The open-source and community-supported gem5 simulator is one of the most popular tools for computer architecture research. This simulation infrastructure allows researchers to model modern computer hardware at the cycle level, and it has…
We describe the main building blocks of a generic automated package for the calculation of Feynman diagrams. These blocks include the generation and creation of a model file, the graph generation, the symbolic calculation at an intermediate…
This paper presents Fossil 2.0, a new major release of a software tool for the synthesis of certificates (e.g., Lyapunov and barrier functions) for dynamical systems modelled as ordinary differential and difference equations. Fossil 2.0 is…
This note gives an update on recent developments in FeynArts, FormCalc, and LoopTools, and shows how the new features were used in making the latest version of FeynHiggs.
The form factor of a quantum graph is a function measuring correlations within the spectrum of the graph. It can be expressed as a double sum over the periodic orbits on the graph. We propose a scheme which allows one to evaluate the…
FeAmGen.jl is a Julia package designed to generate Feynman diagrams and their corresponding amplitudes for various processes in particle physics. Utilizing the models in the Universal Feynman Output (UFO) format and Qgraf for diagram…
System-level simulation is indispensable for developing and testing novel algorithms for 5G and future wireless networks, yet a gap persists between the needs of the machine learning re- search community and the available tooling. To…
We present TFORM, the version of the symbolic manipulation system FORM that can make simultaneous use of several processors in a shared memory architecture. The implementation uses Posix threads, also called pthreads, and is therefore…
Automatically extracting workflows as procedural graphs from natural language is promising yet underexplored, demanding both structural validity and logical alignment. While recent large language models (LLMs) show potential for procedural…