Joosten,Sebastian J.C。;雷内·蒂曼;Akihisa山田 Isabelle/HOL中代数数的验证实现。 (英语) Zbl 1468.68326号 J.汽车。推理 64,第3期,363-389(2020年).MSC公司:68V20型 2014年11月 2005年11月 第13页第15页 2014年第30季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.J.C.Joosten}等人,J.Autom。推理64,第363-389号(2020;兹bl 1468.68326) 全文: 内政部
朱利安娜·兹多夫 Coq中的三圆定理。 (英语) 兹伯利1314.68289 J.汽车。推理 53,第2期,105-127(2014).MSC公司:68吨15 第14页 1999年第14季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \文本{J.Zsidó},J.Autom。推理53,No.2,105--127(2014;Zbl 1314.68289) 全文: 内政部 arXiv公司
G·达尔佐托。;T·雷西奥。 关于初等几何中定理的自动发现协议。 (英语) Zbl 1184.68458号 J.汽车。推理 43,第2期,203-236(2009).MSC公司:68吨15 1999年第14季度 51-04 PDF格式BibTeX公司 XML格式引用 \textit{G.Dalzotto}和\textit{T.Recio},J.Autom。推理43,第2203--236号(2009年;Zbl 1184.68458) 全文: 内政部