ConstructibleSetTools

MaRDI QIDQ28603swMATHFDO

Official website https://www.maplesoft.com/support/help/maple/view.aspx?path=RegularChains/ConstructibleSetTools/RepresentingInequations&L=G

Cited in

(7)

• Computing the canonical representation of constructible sets
• The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
• RegularChains
• ParametricSystemTools
• Gröbner bases for polynomial systems with parameters
• Discovering polynomial Lyapunov functions for continuous dynamical systems
• Computing images of polynomial maps

This page was built for software: ConstructibleSetTools