Related papers: FormLink/FeynCalcFormLink : Embedding FORM in Math…
FormCalc is a matrix-element generator that turns FeynArts amplitudes up to one loop into a Fortran code for computing the squared matrix element. The generated code can be run with FormCalc's own driver programs or used with other…
Form factors of a simple system have been calculated in various forms of relativistic quantum mechanics, using a single-particle current. Their comparison has shown large discrepancies. The comparison is extended here to instant- and…
We present a new computer program, $\texttt{feyntrop}$, which uses the tropical geometric approach to evaluate Feynman integrals numerically. In order to apply this approach in the physical regime, we introduce a new parametric…
Understanding astrophysical and cosmological processes can be challenging due to their complexity and lack of intuitive analogies. To address this, we present \texttt{AstronomyCalc}, a Python package specifically designed to aid…
Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics. In the last decades we have seen a cambric explosion of…
The Agora system is a prototype "Wiki for Formal Mathematics", with an aim to support developing and documenting large formalizations of mathematics in a proof assistant. The functions implemented in Agora include in-browser editing, strong…
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…
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern control applications belong to this class of systems, where a…
"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…
The form factor of hadronic systems in various forms of relativistic quantum mechanics is considered. Motivated by the agreement of the nucleon ``point-form'' results with experiment, results for a toy model corresponding to the simplest…
In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much…
Mathematics is the language of science. Fluent and productive use of mathematics requires one to understand the meaning embodied in mathematical symbols, operators, syntax, etc., which can be a difficult task. For instance, in algebraic…
This manual describes version 1.6 of the programming language hepawk, designed for convenient scanning of data structures arising in the simulation of high energy physics events. The interpreter for this language has been implemented in…
This note describes a Mathematica interface for Fortran code generated by FormCalc. The interfacing code is set up automatically so that only minuscule changes in the driver files are required. The interface makes a function to compute the…
We present a Mathematica package AmpRed for the semi-automatic calculations of multi-loop Feynman amplitudes with high efficiency and precision. AmpRed implements the methods of integration by parts and differential equations in the…
Learning to use math in physics involves combining (blending) our everyday experiences and the conceptual ideas of physics with symbolic mathematical representations. Graphs are one of the best ways to learn to build the blend. They are a…
A FORM based package (ON-SHELL2) for the calculation of two loop self-energy diagrams with one nonzero mass in internal lines and the external momentum on the same mass shell is elaborated. The algorithm, based on recurrence relations…
HELAC is a FORTRAN based package that is able to compute efficiently helicity amplitudes for arbitrary scattering processes within the standard electroweak theory. The algorithm exploits the virtues of the Dyson-Schwinger equations as…
Harmonic sums and their generalizations are extremely useful in the evaluation of higher-order perturbative corrections in quantum field theory. Of particular interest have been the so-called nested sums,where the harmonic sums and their…
We present additions and improvements in Version 7 of FormCalc, most notably analytic tensor reduction, choice of OPP methods, and MSSM initialization via FeynHiggs, as well as a parallelized Cuba library for numerical integration.