编辑配置文件（在新选项卡中打开） 叶，郑 合著者距离 作者ID： ye.zheng先生 发布日期： 叶，郑 已编制索引的文档： 9出版物自2009年起 合著者： 7合著者具有9联合出版物 442位联合作者 全部的 前5名合著者 0 单作者的 6 谢、郑 三 周尚卿 三 高晓山 2 李洪波 2 马玉杰 1 曹元浩 1 黄磊 系列 2 自动化推理杂志 2 理论物理交流 2 中国科学院。数学软件 1 系统科学与数学科学杂志 1 纯数学与应用数学季刊 全部的 前5名领域 4 计算机科学（68至XX） 三 几何图形（51-XX） 2 微分几何（53至XX） 2 光学、电磁理论（78-XX） 2 量子理论（81-XX） 1 数学逻辑和基础（03-XX） 1 交换代数（13-XX） 1 偏微分方程（35-XX） 1 动力系统和遍历理论（37至XX） 1 凸几何和离散几何（52至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用31次19文件 引用人▼ 年份▼ Java几何专家简介。（扩展摘要）。 Zbl 1302.68247号 叶，郑;周尚卿;高小山 13 2011 平面几何中证明的视觉动态呈现。一： 基本功能和手动输入方法。 兹比尔1211.68372 叶，郑;周尚卿;高小山 11 2010 平面几何中证明的视觉动态呈现。二： 使用全角度方法和演绎数据库方法自动生成可视化动态演示。 Zbl 1211.68373号 叶，郑;周尚卿;高小山 7 2010 Java几何专家简介。（扩展摘要）。 Zbl 1302.68247号 叶，郑;周尚卿;高小山 13 2011 平面几何中证明的视觉动态呈现。一： 基本功能和手动输入方法。 Zbl 1211.68372号 叶，郑;周尚卿;高小山 11 2010 平面几何中证明的视觉动态呈现。二： 使用全角度方法和演绎数据库方法自动生成可视化动态演示。 Zbl 1211.68373号 叶，郑;周尚卿;高小山 7 2010 所有引用出版物 前5名被引用出版物 全部的 前5名30位作者引用 6 佩德罗·夸雷斯马 4 朱利安·纳布克斯 4 张景忠 三 陈，毛 三 贾尼契奇，普雷德拉格 三 佐尔坦科瓦奇 三 彭西成 2 格拉齐亚尼，皮耶路易吉 2 托马斯·雷西奥 1 努诺·贝塔 1 博塔纳，弗朗西斯科 1 皮埃尔·布特里 1 加布里埃尔·布劳恩 1 陈启航 1 陈晓宇 1 周尚卿 1 高晓山 1 杰恩·达维德·盖内沃 1 马库斯·霍恩瓦特 1 姜建国 1 刘三玉 1 米罗斯拉夫·奥尔沙克 1 伊万·彼得罗维奇 1 万达桑托斯 1 帕斯卡·施雷克 1 塞拉州索利姆-盖塞 1 丹·宋 1 王东明 1 西蒙·威茨霍费尔 1 叶，郑 5篇连载文章中引用 6 自动化推理杂志 三 数学与人工智能年鉴 2 符号计算杂志 2 系统科学与复杂性杂志 2 计算机科学中的数学 全部的 前5名在8个字段中引用 19 计算机科学（68至XX） 9 几何图形（51-XX） 5 数学逻辑和基础（03-XX） 三 数学教育（97-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文