The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
From MaRDI portal
Publication:5176454
DOI10.1145/1504347.1504378zbMath1344.13001MaRDI 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
13-04: Software, source code, etc. for problems pertaining to commutative algebra
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
Related Items
Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces, Computing the canonical representation of constructible sets, Computing images of polynomial maps, Discovering polynomial Lyapunov functions for continuous dynamical systems
Uses Software