Proving bounds for real linear programs in isabelle/HOL (Extended Abstract) (2005)

Cached

Download Links

by Steven Obua
Venue:THEOREM PROVING IN HIGHER ORDER LOGICS (TPHOLS 2005), VOLUME 3603 OF LECT. NOTES IN COMP. SCI
Citations:9 - 0 self