The following pages link to (Q4813408):
Displaying 4 items.
- Some ways to reduce the space dimension in polyhedra computations (Q853727) (← links)
- On the efficiency of convex polyhedra (Q2130564) (← links)
- Clustered relational thread-modular abstract interpretation with local traces (Q6535225) (← links)
- Revisiting polyhedral analysis for hybrid systems (Q6536287) (← links)