scientific article; zbMATH DE number 4047197

zbMATH Open0642.68169MaRDI QIDQ3783633FDOQ3783633

Authors: Thomas Käufl 

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4080966
• Solving systems of linear inequalities by bound propagation
• scientific article; zbMATH DE number 5200926
• scientific article; zbMATH DE number 1285794
• Problem-oriented verification system and its application to linear algebra programs

zbMATH Keywords

system of linear inequalitiesprogram verifierTatzelwurm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Linear inequalities of matrices (15A39)

This page was built for publication:

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