@收款{zbMATH07200363，作者={Bottesch，Ralph和Haslbeck，Max W.和Thiemann，Ren{\'e}}，Title={验证{Isabelle}/{HOL}}中线性算法的增量理论解算器，BookTitle={组合系统的前沿。第十二届国际研讨会，2019年9月4日至6日，英国伦敦。诉讼}，国际标准图书编号={978-3-030-29006-1；978-3-0.30-29007-8}，页码={223--239}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-29007-8_13}，关键词={68V15,68R07}，zbMATH={7200363}，Zbl={1435.68362}}