- Record: found
- Abstract: not found
- Book Chapter: not found
Theorem Proving in Higher Order Logics
Proving Bounds for Real Linear Programs in Isabelle/HOL
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references9
- Record: found
- Abstract: not found
- Book: not found
Isabelle/HOL
Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)
- Record: found
- Abstract: not found
- Article: not found
Two Fast Algorithms for Sparse Matrices: Multiplication and Permuted Transposition
Fred G Gustavson (1978)
- Record: found
- Abstract: not found
- Book: not found
Theory of Linear and Integer Programming
A. Schrijver, A SCHRIJVER, A. Schrijver … (1986)