The following pages link to Computational Science – ICCS 2005 (Q5709735):
Displaying 4 items.
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination (Q945005) (← links)
- Quantifier elimination supported proofs in the numerical treatment of fluid flows (Q945006) (← links)
- Computational Science - ICCS 2004 (Q5712773) (← links)
- Finding common quadratic Lyapunov functions for switched linear systems using particle swarm optimisation (Q5745550) (← links)