Pages that link to "Item:Q5176454"
From MaRDI portal
The following pages link to The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple (Q5176454):
Displaying 4 items.
- Computing the canonical representation of constructible sets (Q294390) (← links)
- Computing images of polynomial maps (Q2305553) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces (Q4599721) (← links)
