Re: [isabelle] linear programming



On 4 October 2014 11:31, Tobias Nipkow <nipkow at in.tum.de> wrote:
> http://link.springer.com/chapter/10.1007%2F11541868_15#page-1

Well this is behind a paywall.

What I have found is an extended abstract:

http://drops.dagstuhl.de/opus/volltexte/2006/435/pdf/05021.ObuaSteven.ExtAbstract.435.pdf

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.