Formally Verified Conditions for Regularity of Interval Matrices
From MaRDI portal
Publication:3582709
DOI10.1007/978-3-642-14128-7_19zbMath1286.68400OpenAlexW4246030449MaRDI QIDQ3582709
Publication date: 24 August 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00464937/file/main.pdf
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Formally-verified round-off error analysis of Runge-Kutta methods ⋮ Formalization of function matrix theory in HOL
Uses Software
This page was built for publication: Formally Verified Conditions for Regularity of Interval Matrices
