HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.