Keyword:linear systems

Papers
Numerical Verification of Affine Systems with up to a Billion Dimensions Stanley Bak, Hoang-Dung Tran and Taylor T. Johnson EasyChair Preprint no. 812
Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems Nacera Djehaf, Matthieu Martel and Mikaël Barboteu In:TNC'18. Trusted Numerical Computations
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster Stanley Bak In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Direct Verification of Linear Systems with over 10000 Dimensions Stanley Bak and Parasara Sridhar Duggirala In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Large-Scale Linear Systems from Order-Reduction Hoang-Dung Tran, Luan Viet Nguyen and Taylor T. Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems