弗洛里安·斯坦伯格;洛朗·塞利;霍尔格·蒂斯 可计算分析和连续性概念Coq公司. （英语） Zbl 07350782号 日志。方法计算。科学。 17，第2号，第16号文件，第43页（2021）.MSC公司：03D78号 03B35型 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Steinberg}等人，Log。方法计算。科学。17，第2号，第16号论文，43页（2021；Zbl 07350782） 全文： arXiv公司 链接
弗洛里安·斯坦伯格;Laurent Théry;霍尔格·蒂斯 Coq中的定量连续性和可计算分析。 （英语） Zbl 07649977号 Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第28条，第21页（2019年）。MSC公司：第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Steinberg}等人，LIPIcs——莱布尼茨国际程序。通知。141，第28条，第21页（2019年；Zbl 07649977） 全文： 内政部