Pages that link to "Item:Q4673547"
From MaRDI portal
The following pages link to Computing convex hulls with a linear solver (Q4673547):
Displaying 5 items.
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems (Q748756) (← links)
- Efficient Elimination of Redundancies in Polyhedra by Raytracing (Q2961577) (← links)
- Relaxations of mixed integer sets from lattice-free polyhedra (Q5894789) (← links)
- Relaxations of mixed integer sets from lattice-free polyhedra (Q5925161) (← links)
