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

by
Steven Obua

Venue: | THEOREM PROVING IN HIGHER ORDER LOGICS (TPHOLS 2005), VOLUME 3603 OF LECT. NOTES IN COMP. SCI |

Citations: | 9 - 0 self |