The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple

DOI10.1145/1504347.1504378MaRDI QIDQ5176454zbMATH OpenOpenAlexFDO

Authors Changbo Chen, Marc Moreno Maza, François Lemaire, Wei Pan, Liyun Li, Yuzhen Xie

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

Mathematics Subject Classification ID

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)

Cited in

(4)

• Computing images of polynomial maps
• Discovering polynomial Lyapunov functions for continuous dynamical systems
• Computing the canonical representation of constructible sets
• Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces

Describes a project that uses

Uses Software

• ConstructibleSetTools
• ParametricSystemTools
• RegularChains
• Maple

This page was built for publication: The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176454)