The following pages link to ConstructibleSetTools (Q28603):
Displaying 5 items.
- Computing the canonical representation of constructible sets (Q294390) (← links)
- Gröbner bases for polynomial systems with parameters (Q607062) (← links)
- Computing images of polynomial maps (Q2305553) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple (Q5176454) (← links)