@会议记录{konecny_et_al:LIPIcs.MFCS.2020.56,author={Kone\v{c} n个\{y}、米歇尔和斯坦伯格、弗洛里安和蒂斯、霍尔格}、,title={{连续和单调机器}},booktitle={第45届计算机科学数学基础国际研讨会(MFCS 2020)},页数={56:1--56:16},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-159-7},ISSN={1868-8969},年份={2020年},体积={170},editor={Esparza、Javier和Kr’{a} 我',Daniel},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2020.56},URN={URN:nbn:de:0030-drops-127230},doi={10.4230/LPIcs.MFCS.2020.56},annote={关键词:可计算分析,精确实计算,形式证明,证明助手,Coq}}