艾哈迈德·瓦卡尔;奥斯曼·哈桑;塔哈尔，索菲亚 形式可靠性建模与分析：一项调查。 （英语） Zbl 1344.68200号 Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。《人工智能课堂讲稿》，132-147（2016）。MSC公司：68吨15 60年第68季度 68问题85 87年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahmed}等人，Lect。注释计算。科学。9791、132--147（2016年；Zbl 1344.68200） 全文： 内政部 arXiv公司
史志平;张玉鹏;关勇;李黎明;张杰 HOL中离散傅里叶变换的形式化。 （英语） Zbl 1394.68353号 数学。问题。工程师。 2015年，文章ID 687152，8 p.（2015）.MSC公司：68吨15 65T50型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Shi}等人，《数学》。问题。Eng.2015，文章ID 687152，8 p.（2015；Zbl 1394.68353） 全文： 内政部