@第{zbMATH06579511条，作者={Wiik，Jonatan和Bostr{\“o}m，Pontus}，标题=｛基于合同的验证{MATLAB}-样式矩阵程序}，FJournal＝{计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={28}，数字={1}，Pages＝{79-107}，年份={2016年}，语言={英语}，DOI={10.1007/s00165-015-0353-z}，关键词={65F30,65G20,68N15}，zbMATH={6579511}，Zbl={1338.65116}}