Related papers: FormCalc 7.5
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.
We present the latest version 2.6 of FeynHiggs, a program for computing MSSM Higgs-boson masses and related observables, such as mixing angles, branching ratios, and couplings, including state-of-the-art higher-order contributions. The most…
This paper presents Efficient SMT-Based Context-Bounded Model Checker (ESBMC) v7.6, an extended version based on previous work on ESBMC v7.3 by K. Song et al. The v7.3 introduced a new Clang-based C++ front-end to address the challenges…
As a key step towards a complete automation of the finite element method, we present a new algorithm for automatic and efficient evaluation of multilinear variational forms. The algorithm has been implemented in the form of a compiler, the…
This article presents the toolbox FormOpt for two- and three-dimensional shape optimization with parallel computing capabilities, built on the FEniCSx software framework. We introduce fundamental concepts of shape sensitivity analysis and…
We present version 4.0 of the symbolic manipulation system FORM. The most important new features are manipulation of rational polynomials and the factorization of expressions. Many other new functions and commands are also added; some of…
A new release of the Monte Carlo event generator Herwig++ (version 2.7) is now available. This version comes with a number of improvements including: an interface to the Universal FeynRules Output (UFO) format allowing the simulation of a…
We review recent advances in the capabilities of the open source ab initio Quantum Monte Carlo (QMC) package QMCPACK and the workflow tool Nexus used for greater efficiency and reproducibility. The auxiliary field QMC (AFQMC) implementation…
The parallel version of the multidimensional numerical integration package Cuba is presented and achievable speed-ups discussed.
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 AmpRed package has been updated with an improved method for analytic continuation of complex integrals. Compared to the previous version, the new implementation significantly enhances computational efficiency for evaluating complex…
We briefly introduce new multiloop capabilities of the Mathematica package FeynCalc 10 and a collection of interfaces connecting FeynCalc to such popular tools as QGRAF, Fiesta, pySecDec, LoopTools, KIRA, FIRE or Fermat. In addition to…
The Functional Machine Calculus (FMC, Heijltjes 2022) extends the lambda-calculus with the computational effects of global mutable store, input/output, and probabilistic choice while maintaining confluent reduction and simply-typed strong…
QMCPACK is an open source quantum Monte Carlo package for ab-initio electronic structure calculations. It supports calculations of metallic and insulating solids, molecules, atoms, and some model Hamiltonians. Implemented real space quantum…
This report provides an introduction to the ensmallen numerical optimization library, as well as a deep dive into the technical details of how it works. The library provides a fast and flexible C++ framework for mathematical optimization of…
In this paper we present a new release of the FIESTA program (Feynman Integral Evaluation by a Sector decomposiTion Approach). FIESTA5 is performance-oriented - we implemented improvements of various kinds in order to make Feynman integral…
A new release of the Monte Carlo program HERWIG (version 6.5) is now available. The main new features are: support for the Les Houches interface to matrix element generators; additional SM and MSSM Higgs processes in lepton collisions;…
We present a new version of the CompHEP program package, version 4.5. We describe new options and techniques implemented in the version: interfaces to ROOT and HERWIG, parallel calculations, generation of the XML-based header in event files…
In this paper, we present version 2.0 of cashocs. Our software automates the solution of PDE constrained optimization problems for shape optimization and optimal control. Since its inception, many new features and useful tools have been…
The Functional Machine Calculus (FMC) was recently introduced as a generalization of the lambda-calculus to include higher-order global state, probabilistic and non-deterministic choice, and input and output, while retaining confluence. The…