4 citations · 4 across the 4 of their papers we have counts for
6 papers
Algebraic Closure of Matrix Sets Recognized by 1-VASS
Rida Ait El Manssour, Mahsa Naraghi, Mahsa Shirmohammadi +1
It is known how to compute the Zariski closure of a finitely generated monoid of matrices and, more generally, of a set of matrices specified by a regular language. This result was…
A parametric version of the Hilbert Nullstellensatz
Rida Ait El Manssour, Nikhil Balaji, Klara Nosan +2
Hilbert's Nullstellensatz is a fundamental result in algebraic geometry that gives a necessary and sufficient condition for a finite collection of multivariate polynomials to have…
Differential Tree Automata
Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi +1
A rationally dynamically algebraic (RDA) power series is one that arises as (a component of) the solution of a system of differential equations of the form $\boldsymbol{y}' = F(\bo…
D-Algebraic Functions
Rida Ait El Manssour, Anna-Laura Sattelberger, Bertrand Teguia Tabuguia
Differentially-algebraic (D-algebraic) functions are solutions of polynomial equations in the function, its derivatives, and the independent variables. We revisit closure propertie…
Linear PDE with Constant Coefficients
Rida Ait El Manssour, Marc Härkönen, Bernd Sturmfels
We discuss practical methods for computing the space of solutions to an arbitrary homogeneous linear system of partial differential equations with constant coefficients. These rest…
Combinatorial Differential Algebra of
Rida Ait El Manssour, Anna-Laura Sattelberger
We link -jets of the affine monomial scheme defined by to the stable set polytope of some perfect graph. We prove that, as varies, the dimension of the coordinate ring…