Related papers: The MatrixSchubert package for Macaulay2
This document describes our freely distributed Maple library {\sc spectra}, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear matrix inequalities with symbolic computation in exact…
For each $A\in\N^n$ we define a Schubert variety $\sh_A$ as a closure of the $\Slt(\C[t])$-orbit in the projectivization of the fusion product $M^A$. We clarify the connection of the geometry of the Schubert varieties with an algebraic…
In this article, we describe the theoretical foundations of the Macaulay2 package ConnectionMatrices and explain how to use it. For a left ideal in the Weyl algebra that is of finite holonomic rank, we implement the computation of the…
This article summarizes new features and enhancements of the first major update of Package-X. Package-X 2.0 can now generate analytic expressions for arbitrarily high rank dimensionally regulated tensor integrals with up to four distinct…
One hundred years ago, Hilbert gave a list of important open problems in mathematics. His 15th problem asked for the development of a rigorous calculus explaining Schubert's enumerative results for intersecting varieties defined by rank…
We discuss an algorithm computing the push-forward to projective space of several classes associated to a (possibly singular, reducible, nonreduced) projective scheme. For example, the algorithm yields the topological Euler characteristic…
We study the algebra of invariant differential operators on a certain homogeneous vector bundle over a Riemannian symmetric space of type $A_2$. We computed radial parts of its generators explicitly to obtain matrix-valued commuting…
A matrix-compression algorithm is derived from a novel isogenic block decomposition for square matrices. The resulting compression and inflation operations possess strong functorial and spectral-permanence properties. The basic observation…
These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted…
Magog matrices, introduced by Holmlund and Striker in 2025, provide a matrix model for totally symmetric self-complementary plane partitions (TSSCPPs), as a natural analogue of alternating sign matrices (ASMs). In this paper, we develop…
We introduce QuiverTools, a new software package, available in both a SageMath and Julia version, to study quivers and their moduli spaces of representations. Its key features are the computation of general subdimension vectors, leading to…
We describe a significant update to the Macaulay2 package A1BrouwerDegrees. We extend several methods in the previous version of the package to the setting of finite \'{e}tale algebras, allowing the computation of transfers along finite…
We consider smooth complete intersection Calabi-Yau 3-folds in minuscule Schubert varieties, and study their mirror symmetry by degenerating the ambient Schubert varieties to Hibi toric varieties. We list all possible Calabi-Yau 3-folds of…
I present the tensor computer algebra package FieldsX, which extends the xAct suite of tensor algebra packages to perform computations in field theory with fermions and gauge fields. This includes the standard tools of curved-space $\gamma$…
We give a formula for the cohomological invariants of a root stack, which we apply to compute the cohomological invariants and the Brauer group of the stack of admissible double coverings.
A flexible unified framework for both classical and quantum Schubert calculus is proposed. It is based on a natural combinatorial approach relying on the Hasse-Schmidt extension of a certain family of pairwise commuting endomorphisms of an…
AMFlow is a Mathematica package to numerically compute dimensionally regularized Feynman integrals via the recently proposed auxiliary mass flow method. In this framework, integrals are treated as functions of an auxiliary mass parameter…
The purpose of this paper is to lay the foundations of a theory of invariants in \'etale cohomology for smooth Artin stacks. We compute the invariants in the case of the stack of elliptic curves, and we use the theory we developed to get…
Schubert varieties have been exhaustively studied with a plethora of techniques: Coxeter groups, explicit desingularization, Frobenius splitting, etc. Many authors have applied these techniques to various other varieties, usually defined by…
MulAtoLEG (Multi-Atom Liouville Equation Generator) is an open-source Mathematica package for generating Liouville superoperators and Liouville equations, specialized for multilevel atomic systems comprising an arbitrary number of atoms.…