李文达;劳伦斯·C·鲍尔森。 通过Isabelle/HOL中的Cauchy指数评估缠绕数和计算复根。 (英语) Zbl 1468.68299号 J.汽车。推理 64,第2期,331-360(2020年).MSC公司:68伏15 30E20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Li}和\textit{L.C.Paulson},J.Autom。推理64,No.2,331--360(2020;Zbl 1468.68299) 全文: 内政部 arXiv公司
布鲁内尔,阿洛伊斯 Coq中的非构造复杂分析。 (英语) Zbl 1354.68231号 Danielsson,Nils Anders(编辑)等人,第18届国际校样和程序类型研讨会。研讨会论文(2011年类型),挪威卑尔根,2011年9月8-11日。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-49-1)。LIPIcs–莱布尼茨国际信息学论文集19,1-15(2013)。MSC公司:68吨15 03B35型 30-04 55-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Brunel},LIPIcs——莱布尼茨国际程序。通知。19、1-15(2013年;Zbl 1354.68231) 全文: 内政部
乔利,詹尼;格拉齐亚诺·庆蒂利;马可·马格西 Cartan不动点定理的证明。 (英语) Zbl 1250.68233号 J.汽车。推理 47,第3期,319-336(2011). 审核人:曼弗雷德·科伯(伯明翰) MSC公司:68吨15 32A99型 30摄氏度80 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciolli}等人,J.Autom。推理47,No.3,319--336(2011;Zbl 1250.68233) 全文: 内政部