The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
From MaRDI portal
Publication:5176454
DOI10.1145/1504347.1504378zbMath1344.13001OpenAlexW2122478356MaRDI QIDQ5176454
Liyun Li, Marc Moreno Maza, Wei Pan, François Lemaire, Yuzhen Xie, Changbo Chen
Publication date: 26 February 2015
Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1504347.1504378
Software, source code, etc. for problems pertaining to commutative algebra (13-04) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Related Items (4)
Computing the canonical representation of constructible sets ⋮ Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces ⋮ Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ Computing images of polynomial maps
Uses Software
This page was built for publication: The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
