Paper Info
Title
Extending a Verified Simplex Algorithm.
Year
DOI
Venue
2018
10.29007/5vlq
LPAR
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
René Thiemann198469.38