Related papers: The QuiverTools package for SageMath and Julia
We give a diagrammatic calculus for the intertwiners between permutation supermodules over the Sergeev superalgebra. We also give a diagrammatic basis for the space of intertwiners between two permutation supermodules.
We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. There is a great body of work considering QE applications in science and engineering but we demonstrate here that it also has use in the…
Twistronics is an emerging and captivating field in condensed matter physics and material science. However, accurately and efficiently calculating the electronic structures of twisted systems remains a significant challenge. To address…
We exhibit a correspondence between subcategories of modules over an algebra and sub-bimodules of the dual of that algebra. We then prove that the semisimplicity of certain such categories is equivalent to the existence of a Peter-Weyl…
In this work, we propose a framework in the form of a Python package, specifically designed for the analysis of Quantum Machine Learning models. This framework is based on the PennyLane simulator and facilitates the evaluation and training…
We present a Julia package HypersurfaceRegions.jl for computing all connected components in the complement of an arrangement of real algebraic hypersurfaces in $\mathbb{R}^n$.
We present SuperTracer, a Mathematica package aimed at facilitating the functional matching procedure for generic UV models. This package automates the most tedious parts of one-loop functional matching computations. Namely, the…
The boundary of the multi-scale differential compactification of strata of abelian differentials admits an explicit combinatorial description. However, even for low-dimensional strata, the complexity of the boundary requires use of a…
We deepen the theory of quasiorthogonal and approximately quasiorthogonal operator algebras through an analysis of the commutative algebra case. We give a new approach to calculate the measure of orthogonality between two such subalgebras…
We survey some general-purpose symbolic software packages that implement algorithms from enumerative and analytic combinatorics. Software for the following areas is covered: basic combinatorial objects, symbolic combinatorics, P\'olya…
We present an introduction to the Quantum Toolbox in Python (QuTiP) in the context of an undergraduate quantum mechanics class and potential senior research projects. QuTiP provides ready-to-use definitions of standard quantum states and…
I present a Mathematica package designed for manipulations and evaluations of triple-K integrals and conformal correlation functions in momentum space. Additionally, the program provides tools for evaluation of a large class of 2- and…
With the increasing size of quantum processors, sub-modules that constitute the processor hardware will become too large to accurately simulate on a classical computer. Therefore, one would soon have to fabricate and test each new design…
We study finite dimensional representations of the quantum affine algebra, using geometry of quiver varieties introduced by the author. As an application, we obtain character formulas expressed in terms of intersection cohomologies of…
Developing intuition about quantum information theory problems is difficult, as is verifying or ruling-out of hypothesis. We present a Matlab package intended to provide the QIT community with a new and powerful tool-set for quantum…
A new simulation package, GSEIM, for solving a set of ordinary differential equations is presented. The organisation of the program is illustrated with the help of a block diagram. Various features of GSEIM are discussed. Two ways of…
Beyond the crucial role they play in the foundations of the theory of overconvergent modular forms, canonical subgroups have found new applications to analytic continuation of overconvergent modular forms. For such applications, it is…
The authors' "metatools" are a collection of tools for generic programming. This includes generating Java sources from mathematically well-founded specifications, as well as the creation of strictly typed document object models for XML…
We present the Mathematica package QMeS-Derivation. It derives symbolic functional equations from a given master equation. The latter include functional renormalisation group equations, Dyson-Schwinger equations, Slavnov-Taylor and Ward…
The mathematical software system polymake provides a wide range of functions for convex polytopes, simplicial complexes, and other objects. A large part of this paper is dedicated to a tutorial which exemplifies the usage. Later sections…