47 citations · 201 across the 22 of their papers we have counts for
22 papers
Implementing the biset category of finite groups
Mohamed Barakat, Marc Talleux, Fabian Zickgraf
We describe an implementation of the biset category of finite groups as a tower of standard categorical constructions, all of which are implemented in the software project CAP for…
Feynman integral reduction using Gröbner bases
Mohamed Barakat, Robin Brüser, Claus Fieker +2
We investigate the reduction of Feynman integrals to master integrals using Gröbner bases in a rational double-shift algebra Y in which the integration-by-parts (IBP) relations for…
IBP reduction via Gröbner bases in a rational double-shift algebra
Mohamed Barakat, Robin Brüser, Tobias Huber +1
We report on an approach to integration-by-parts reduction based on Gröbner bases. We establish the underlying noncommutative rational double-shift algebra wherein the integration-…
Computing the nonfree locus of the moduli space of arrangements and Terao's freeness conjecture
Mohamed Barakat, Lukas Kühne
In this paper, we show how to compute using Fitting ideals the nonfree locus of the moduli space of arrangements of a rank simple matroid, i.e., the subset of all points of the…
Symmetries between measurements in quantum mechanics
H. Chau Nguyen, Sébastien Designolle, Mohamed Barakat +1
Symmetries are a key concept to connect mathematical elegance with physical insight. We consider measurement assemblages in quantum mechanics and show how their symmetry can be des…
An algorithmic approach to Chevalley's Theorem on images of rational morphisms between affine varieties
Mohamed Barakat, Markus Lange-Hegermann
The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resu…