swMATH16735MaRDI QIDQ28603FDOQ28603
Author name not available (Why is that?)
Official website: https://www.maplesoft.com/support/help/maple/view.aspx?path=RegularChains/ConstructibleSetTools/RepresentingInequations&L=G
Cited In (7)
- The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
- Computing the canonical representation of constructible sets
- RegularChains
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- ParametricSystemTools
- Gröbner bases for polynomial systems with parameters
- Computing images of polynomial maps
This page was built for software: ConstructibleSetTools
