ConstructibleSetTools

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