Tools
Björnsson, Jóhann, Giesl, Peter and Hafstein, Sigurður (2014) Algorithmic verification of approximations to complete Lyapunov functions. Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS), Groningen, The Netherlands, 0180. pp. 1181-1188.
Full text not available from this repository.
Official URL: http://www.ru.is/kennarar/sigurdurh/BGH2014MTNSalg...
Item Type: | Article |
---|---|
Schools and Departments: | School of Mathematical and Physical Sciences > Mathematics |
Subjects: | Q Science > QA Mathematics |
Depositing User: | Peter Giesl |
Date Deposited: | 18 Jul 2014 11:20 |
Last Modified: | 18 Jul 2014 11:20 |
URI: | http://srodev.sussex.ac.uk/id/eprint/49331 |