Re: [isabelle] linear programming

On 4 October 2014 11:31, Tobias Nipkow <nipkow at> wrote:

Well this is behind a paywall.

What I have found is an extended abstract:

and the code in src/HOL/Matrix_LP, I guess that is the implementation.

- Gergely

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.