Re: [isabelle] linear programming



http://link.springer.com/chapter/10.1007%2F11541868_15#page-1

Tobias

On 03/10/2014 21:13, Gergely Buday wrote:
> Hi,
> 
> I did a search on afp but I have not found any formalisation of linear
> programming.
> 
> Do you know of any attempt?
> 
> - Gergely
> 




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