ConstructibleSetTools
From MaRDI portal
Software:28603
swMATH16735MaRDI QIDQ28603FDOQ28603
Author name not available (Why is that?)
Cited In (5)
- The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
- Computing the canonical representation of constructible sets
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Gröbner bases for polynomial systems with parameters
- Computing images of polynomial maps
This page was built for software: ConstructibleSetTools
