The following pages link to DISCOVERER (Q19736):
Displaying 9 items.
- Automated Inequality Proving and Discovering (Q3178360) (← links)
- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems (Q3525073) (← links)
- Generating Polynomial Invariants with DISCOVERER and QEPCAD (Q3526926) (← links)
- Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces (Q4599721) (← links)
- An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks (Q4627647) (← links)
- Analysis of Snapback Repellers Using Methods of Symbolic Computation (Q4632158) (← links)
- Chordality Preserving Incremental Triangular Decomposition and Its Implementation (Q5039552) (← links)
- Dynamics in a discrete time model of logistic type (Q5095231) (← links)
- Computing Switching Surfaces in Optimal Control Based on Triangular Decomposition (Q5175452) (← links)