乌迈尔·西迪克;索菲涅·塔哈尔 关于HOL中高斯光学系统的形式化分析。 （英语） Zbl 1345.78002号 正式Asp。计算。 28，第5期，881-907（2016）.MSC公司：78A05型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{U.Siddique}和\textit{S.Tahar}，正式Asp。计算。28，第5号，881--907（2016；Zbl 1345.78002） 全文： 内政部
奥马尔·西迪克;索菲涅·塔哈尔 关于光学系统基点的形式化。 （英语） Zbl 1368.68250号 Bouabana Tebibel，Thouraya（编辑）等人，重用和系统集成的形式主义。查姆：施普林格（ISBN 978-3-319-16576-9/pbk；978-3-316-16577-6/电子书）。《智能系统与计算进展》346，79-102（2015）。MSC公司：60年第68季度 第68页第15页 78A05型 PDF格式BibTeX公司 XML格式引用 \textit{U.Siddique}和\textit{S.Tahar}，高级情报。系统。计算。346、79-102（2015年；Zbl 1368.68250） 全文： 内政部
塞萨里·卡利西克;约瑟夫·乌尔班;乌迈尔·西迪克;卡恩·阿夫沙尔·萨纳兹;Cvetan Dunchev公司;索菲涅·塔哈尔 物理形式化：自动化、演示和基础问题。 （英语） Zbl 1417.68186号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 288-295 (2015).MSC公司：第68页第15页 78-04 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}等人，莱克特。注释计算。科学。9150288--295（2015；Zbl 1417.68186） 全文： 内政部
卡恩·阿夫沙尔·萨纳兹;乌迈尔·西迪克;穆罕默德·尤斯里·马哈茂德;文森特·阿拉万提诺斯;塞迪基，昂山素季;奥斯曼·哈桑;索菲涅·塔哈尔 光学系统的形式分析。 （英语） Zbl 1302.68245号 数学。计算。科学。 8，第1号，39-70（2014）.MSC公司：第68页第15页 68瓦30 78A05型 78A25型 81V80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Khan-Afshar}等人，数学。计算。科学。8、第1号、第39-70号（2014；Zbl 1302.68245） 全文： 内政部 arXiv公司