Formally verified conditions for regularity of interval matrices

DOI10.1007/978-3-642-14128-7_19MaRDI QIDQ3582709zbMATH OpenOpenAlexFDO

Authors Ioana Paşca

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

zbMATH Keywords

interval analysisCoqformal verificationSSReflectregularity of interval matrices

Mathematics Subject Classification ID

Recommendations

• An Algorithm for Checking Regularity of Interval Matrices
• A note on regularity and positive definiteness of interval matrices
• A note on checking regularity of interval matrices
• Strong regularity of parametric interval matrices
• Regularity of interval matrices and theorems of the alternatives

Cited in

(6)

• Formally-verified round-off error analysis of Runge-Kutta methods
• Regularity of interval matrices and theorems of the alternatives
• Formalization of function matrix theory in HOL
• Strong regularity of parametric interval matrices
• A theorem on regularity of interval matrices
• Sufficient Conditions for Regularity and Singularity of Interval Matrices

Describes a project that uses

Uses Software

• Coq/SSReflect
• Isabelle/HOL
• Coq

This page was built for publication: Formally verified conditions for regularity of interval matrices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3582709)