Stanley Bak. Numerical Verification of 10000-dimensional Linear Systems 10000x Faster. In Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson, editors, ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. Volume 54 of EPiC Series in Computing, pages 135-144, EasyChair, 2018. [doi]
Abstract is missing.