Formalization of Incremental Simplex Algorithm by Stepwise Refinement.

Mirko Spasic Filip Maric

Published in: FM (2012)

Keyphrases

simplex algorithm
nelder mead
linear programming
primal dual
network simplex algorithm
linear programming problems
randomly generated
linear program
simplex method
feasible solution
convex optimization