编辑配置文件(在新选项卡中打开) 萨纳兹·汗·阿夫沙尔 合著者距离 作者ID: khan-afshar.sanaz 发布日期: 卡恩·阿夫沙尔·萨纳兹;萨纳兹·汗·阿夫沙尔;萨纳兹·汗·阿夫沙尔 更多。。。较少的 编入索引的文档: 5出版物自2009年起 合著者: 9合著者具有5联合出版物 163位合作作者 全部的 前5名合著者 0 单作者的 5 索菲涅·塔哈尔 3 奥斯曼·哈桑 2 文森特·阿拉万提诺斯 2 Cvetan Dunchev公司 2 塞迪基,昂山素季 2 乌迈尔·西迪克 1 塞萨里·卡利西克 1 穆罕默德·尤斯里·马哈茂德 1 约瑟夫·乌尔班 系列 1 计算机科学中的数学 领域 5 计算机科学(68至XX) 2 光学、电磁理论(78-XX) 1 量子理论(81-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用15中的次12文件 引用人▼ 年份▼ 光学系统的形式分析。 Zbl 1302.68245号 卡恩·阿夫沙尔·萨纳兹;乌迈尔·西迪克;穆罕默德·尤斯里·马哈茂德;文森特·阿拉万提诺斯;塞迪基,昂山素季;奥斯曼·哈桑;索菲涅·塔哈尔 9 2014 高阶逻辑中复数向量的形式化。 Zbl 1304.68150号 萨纳兹·汗·阿夫沙尔;文森特·阿拉万提诺斯;奥斯曼·哈桑;索菲涅·塔哈尔 2 2014 HOL中光波导的形式化分析。 Zbl 1252.68256号 奥斯曼·哈桑;萨纳兹·汗·阿夫沙尔;索菲涅·塔哈尔 2 2009 形式化物理学:自动化、演示和基础问题。 Zbl 1417.68186号 塞萨里·卡利西克;约瑟夫·乌尔班;乌迈尔·西迪克;卡恩·阿夫沙尔·萨纳兹;Cvetan Dunchev公司;索菲涅·塔哈尔 1 2015 在HOL Light中实现符号和数值计算。 Zbl 1417.68193号 塞迪基,昂山素季;Cvetan Dunchev公司;卡恩·阿夫沙尔·萨纳兹;索菲涅·塔哈尔 1 2015 形式化物理学:自动化、演示和基础问题。 Zbl 1417.68186号 塞萨里·卡利西克;约瑟夫·乌尔班;乌迈尔·西迪克;卡恩·阿夫沙尔·萨纳兹;Cvetan Dunchev公司;索菲涅·塔哈尔 1 2015 在HOL Light中实现符号和数值计算。 Zbl 1417.68193号 塞迪基,昂山素季;Cvetan Dunchev公司;卡恩·阿夫沙尔·萨纳兹;索菲涅·塔哈尔 1 2015 光学系统的形式化分析。 Zbl 1302.68245号 卡恩·阿夫沙尔·萨纳兹;乌迈尔·西迪克;穆罕默德·尤斯里·马哈茂德;文森特·阿拉万提诺斯;塞迪基,昂山素季;奥斯曼·哈桑;索菲涅·塔哈尔 9 2014 高阶逻辑中复数向量的形式化。 Zbl 1304.68150号 萨纳兹·汗·阿夫沙尔;文森特·阿拉万提诺斯;奥斯曼·哈桑;索菲涅·塔哈尔 2 2014 HOL中光波导的形式化分析。 Zbl 1252.68256号 奥斯曼·哈桑;萨纳兹·汗·阿夫沙尔;索菲涅·塔哈尔 2 2009 所有引用出版物 前5名被引用出版物 全部的 前5名16位作者引用 9 索菲涅·塔哈尔 6 乌迈尔·西迪克 4 奥斯曼·哈桑 4 萨纳兹·汗·阿夫沙尔 2 文森特·阿拉万提诺斯 2 Cvetan Dunchev公司 2 塞迪基,昂山素季 1 杰苏斯·阿兰塞 1 Jose Divasón 1 塞萨里·卡利西克 1 罗伯特·刘易斯。 1 穆罕默德·尤斯里·马哈茂德 1 阿德南·拉希德 1 奥马尔·西迪克 1 约瑟夫·乌尔班 1 吴敏超 4篇连载文章中引用 2 自动推理杂志 1 计算机与系统科学杂志 1 计算的形式方面 1 计算机科学中的数学 全部的 前5名在7个字段中引用 12 计算机科学(68至XX) 6 光学、电磁理论(78-XX) 2 数学逻辑和基础(03-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 实际功能(26-XX) 1 欧氏空间的调和分析(42至XX) 1 量子理论(81-XX) 按年份列出的引文