Extending a Verified Simplex Algorithm

René Thiemann
13th International Workshop on the Implementation of Logics, Kalpa Publications in Computing 9, pp. 37 – 48, 2018.

abstract   BibTeX   PDF   doi:10.29007/5vlq