Proving Bounds for Real Linear Programs in Isabelle/HOL
Author:
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 227-244
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Defining functions on equivalence classesACM Transactions on Computational Logic, 2006
- Translating dependent type theory into higher order logic2005
- Organizing Numerical Theories Using Axiomatic Type ClassesJournal of Automated Reasoning, 2004
- Isabelle/HOL2002
- Programming and Computing in HOL2000
- Two Fast Algorithms for Sparse Matrices: Multiplication and Permuted TranspositionACM Transactions on Mathematical Software, 1978