编辑配置文件（在新选项卡中打开） 高晓山 合著者距离 作者ID： 高晓山 发布日期： 高小山；高晓山；高晓生。；高、小山；高小山 更多。。。较少的 主页： http://www.mmrc.iss.ac.cn/~xgao（x高）/ 外部链接： 管理程序 已编制索引的文档： 136出版物自1987年以来，包括1本书和2个附加arXiv预打印 作为编辑的10份贡献 合著者： 77位合著者具有136联合出版物 3139联合作者 全部的 前5名合著者 10 单作者的 31 周尚卿 17 袁春明 9 程金三 9 张景忠 7 黄巧龙 6 冯汝永 6 李伟 5 姜昆 5 李，贾 4 李洪波 4 王东明 4 谢福鼎 三 郭建新 三 胡友仁 三 黄，张 三 沈立勇 三 王定康 三 叶，郑 三 张桂林 三 张桂芳 三 张明波 三 赵尚伟 三 朱昌才 2 陈玉傲 2 陈玉夫 2 Chionh，Engwee公司 2 葛建新 2 郭雷雷 2 黄，雷东 2 黄振宇 2 迪帕克·卡普尔 2 李子明 2 林强（Lin，Qiang） 2 孙瑞勇 2 唐建良 2 杨璐 2 Yap，Chee-Keng先生 2 于丽嘉 2 张丽仙 2 张、强 1 何塞·玛丽亚·卡诺 1 曹道民 1 柴凤娟 1 特穆尔州朝鲁 1 陈汉飞 1 陈杰 1 陈文生 1 阿杰·马赛尔·科恩 1 郭来刚 1 胡泽春 1 黄飞民 1 金，凯 1 景瑞娟 1 罗伯特·乔安·阿利尼奥 1 李明 1 李明 1 刘峰 1 刘爽 1 罗勇 1 麦克菲，尼古拉斯·弗雷塔格 1 多米尼克·米歇鲁奇 1 邵军 1 高山，Nobuki 1 童朝旭 1 乔里斯·范德霍温 1 王杰 1 王继敏 1 王寿阳 1 徐涛 1 闫伟 1 元，坎明 1 岳京燕 1 张，柯 1 张志勇 1 赵新超 1 朱伟 1 朱永贵 全部的 前5名系列 18 符号计算杂志 16 系统科学与复杂性杂志 9 自动推理杂志 5 系统科学与数学科学杂志 4 系统科学和数学科学 三 计算机辅助几何设计 三 CAD。计算机辅助设计 三 理论物理交流 2 计算机与数学及其应用 2 混沌、孤子和分形 2 理论计算机科学 2 计算机科学与技术杂志 2 国际计算几何与应用杂志 2 中国科学通报 2 工程、通信和计算中的应用代数 2 数学科学学报。B系列（英文版） 2 计算机科学中的数学 2 计算机代数中的ACM通信 1 离散应用数学 1 数学学报 1 应用数学与计算 1 代数杂志 1 几何杂志 1 美国数学学会会刊 1 数学进展（北京） 1 中国科学。系列A 1 计算几何 1 数学成像与视觉杂志 1 数学与人工智能年鉴 1 机械与机器理论 1 计算数学基础 1 软件杂志 1 中国科学。F系列 1 计算机科学课堂讲稿 1 计算机系列讲座笔记 1 应用数学系列 1 科学中国。数学 1 科学中国。信息科学 1 中国科学院。数学软件 全部的 前5名领域 88 计算机科学（68至XX） 33 场论和多项式（12-XX） 27 数值分析（65-XX） 25 交换代数（13-XX） 17 数学逻辑和基础（03-XX） 17 代数几何（14-XX） 16 几何图形（51至XX） 11 总体主题；集合（00-XX） 9 常微分方程（34-XX） 7 偏微分方程（35-XX） 6 信息与通信理论、电路（94-XX） 5 差分方程和函数方程（39至XX） 4 历史和传记（01-XX） 4 系统论；控制（93至XX） 三 粒子和系统力学（70-XX） 三 运筹学、数学规划（90-XX） 2 数论（11-XX） 2 动力系统和遍历理论（37至XX） 2 近似和展开（41至XX） 2 变分法与最优控制；最优化（49至XX） 2 代数拓扑（55-XX） 2 生物学和其他自然科学（92-XX） 1 阶、格、有序代数结构（06-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 结合环与代数（16-XX） 1 微分几何（53至XX） 1 统计学（62-XX） 1 流体力学（76-XX） 1 量子理论（81-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 102出版物有被引用759中的次419文件 引用人▼ 年份▼ 几何的机器证明。几何定理可读证明的自动生成。 Zbl 0941.68503号 周尚卿；高晓山；张建忠。 43 1994 一种多项式时间算法，用于寻找一阶自治常微分方程的有理通解。 兹比尔1130.65069 冯汝永；高小山 25 2006 代数常微分方程的有理通解。 Zbl 1134.34302号 冯汝永；高晓山 24 2004 Ritt-Wu的分解算法和几何定理证明。 Zbl 0708.68062号 S.C.周。；高晓生。 24 1990 自动几何定理证明和发现的演绎数据库方法。 Zbl 0961.68121号 周尚卿；高小山；张景忠 21 2000 有理参数方程的隐式化。 Zbl 0782.14047号 高小山；周尚卿 20 1992 一种求解布尔方程的特征集方法及其在流密码密码分析中的应用。 Zbl 1201.94080号 柴凤娟；高小山；袁春明 20 2008 一类非线性偏微分方程的精确行波解。 Zbl 1068.35146号 谢福鼎；高晓山 17 2004 微分代数几何中的交集理论：一般交集和微分Chow形式。 Zbl 1328.14010号 高小山；李伟；袁春明 17 2013 使用几何不变量自动生成可读的证明。二： 用全角度证明定理。 Zbl 0865.68110号 周尚卿；高小山；张景忠 17 1996 MMP/Geometer–用于自动几何推理的软件包。 Zbl 1202.68378号 高小山；林强（Lin，Qiang） 16 2004 常差多项式系统的特征集方法。 Zbl 1164.39008号 高小山；罗勇；袁春明 16 2009 代数常微分方程的代数通解。 Zbl 1360.68913号 阿罗卡，J.M。；卡诺，J。；R·冯。；高晓生。 16 2005 有限域方程求解的特征集算法。 Zbl 1273.11176号 高小山；黄振宇 15 2012 使用几何不变量自动生成可读的证明。一： 多个最短的证明生成。 Zbl 0865.68109号 周尚卿；高小山；张景忠 15 1996 确定实代数曲面的拓扑。 Zbl 1141.68628号 程金珊；高小山；李明 14 2005 几何中的自动推理。 Zbl 1011.68128号 周尚卿；高小山 14 2001 非线性色散（K）（m），（n））方程具有紧支撑的精确特殊孤立解。 兹比尔1088.35547 朱永贵；高晓山 13 2006 微分几何和力学中使用特征集方法的自动推理。一： Ritt-Wu分解算法的改进版本。 Zbl 0782.68100号 周尚卿；高小山 13 1993 二元多项式系统的局部泛型位置法根隔离。 Zbl 1237.65045号 程金珊；高小山；李，贾 13 2009 Java几何专家简介。（扩展摘要）。 Zbl 1302.68247号 叶，郑；周尚卿；高小山 13 2011 零维三角系统实根的完全数值隔离。 兹伯利1169.13017 程金珊；高小山；Yap，Chee-Keng先生 13 2009 数学机械化和应用。 Zbl 0968.68201号 13 2000 微分多项式系统的特征集方法。 Zbl 1169.13019号 高晓生。；范德霍文，J。；袁，C.M。；张国良。 13 2009 关于曲线和曲面的法线参数化。 兹比尔0735.68092 高小山；周尚卿 11 1991 平面几何中证明的视觉动态呈现。一： 基本功能和手动输入方法。 Zbl 1211.68372号 叶，郑；周尚卿；高小山 11 2010 实代数曲线的有理二次逼近。 Zbl 1069.65518号 高小山；李明 11 2004 Laurent微分多项式的稀疏微分结果。 Zbl 1315.12003年 李伟；袁春明；高小山 10 2015 关于任意上升链的维数。 Zbl 0845.13004号 高晓山；周尚卿 9 1993 微分多项式系统的近似微分特征集。 Zbl 1033.68049号 特穆尔州朝鲁；高小山 9 2002 稀疏差分合成。 Zbl 1323.68612号 李伟；高小山；元，坎明 9 2011 线性单变量表示的零维多项式系统的根隔离。 Zbl 1254.65064号 程金珊；高小山；郭雷雷 8 2012 参数空间曲线与三次B样条曲线的证明逼近。 Zbl 1251.65014号 沈立勇；袁春明；高小山 8 2012 零维三角系统实零点的完全数值隔离。 Zbl 1190.65082号 程金珊；高小山；Yap，Chee-Keng先生 8 2007 关于代数曲线的参数化。 Zbl 0769.14021号 高小山；周尚卿 7 1992 微分有理参数方程的隐式化。 兹比尔1048.12006 高小山 7 2003 平面几何中证明的视觉动态呈现。二： 使用全角度方法和演绎数据库方法自动生成可视化动态演示。 Zbl 1211.68373号 叶，郑；周尚卿；高小山 7 2010 欧几里德几何中定理的传统证明的自动生成。一： 希尔伯特交点定理。 兹比尔0855.68095 张景忠；周尚卿；高小山 7 1995 微分参数系统的零结构定理。 Zbl 0805.12003年 高小山；周尚卿 6 1993 数学机械化：一项调查。 Zbl 0999.03009号 高晓山 6 2001 射影微分簇的Chow形式。 兹比尔1296.14003 李伟；高小山 6 2012 二维和三维几何约束求解的C树分解算法。 Zbl 1206.65083号 高小山；林强（Lin，Qiang）；张桂芳 6 2006 计算机代数在求解非线性发展方程中的应用。 Zbl 1167.35300号 谢福丁；高小山 6 2004 基于非均匀变异的进化规划。 Zbl 1193.68220号 赵新超；高小山；胡泽春 6 2007 通过矢量计算自动证明几何定理。 Zbl 0968.03520号 周尚卿；高小山；张景忠 6 1993 使用参数方程进行计算。 Zbl 0917.65012号 高晓山；周尚卿 6 1991 托利差分品种。 Zbl 1407.14049号 高小山；黄，张；王杰；袁春明 6 2017 使用优化方法满足几何约束。 兹比尔1069.68620 葛建新；周尚卿；高小山 5 1999 关于预解式理论及其应用。 Zbl 1073.13505号 高晓山；周尚卿 5 1999 证明构造型几何语句。 Zbl 0925.03067号 周尚卿；高小山 5 1992 常微分方程的有理解。 Zbl 1178.39001号 冯汝永；高小山；黄振宇 5 2008 两个多项式的保乘法三角集分解。 Zbl 1317.12002年 程金珊；高小山 5 2014 稀差合成。 Zbl 1328.65266号 李伟；袁春明；高小山 5 2015 Ritt-Wu的分解算法和几何定理证明。 Zbl 1509.68303号 周尚卿；高小山 5 1990 固有的不当曲面参数化支持。 Zbl 1108.65010号 Chionh，Eng-Wee（英国）；高小山；沈立勇 4 2006 微分场中的吕罗斯定理。 Zbl 1041.12001 高晓山；徐涛 4 2002 常系数微分多项式的分解。 Zbl 1134.68598号 高晓山；张明波 4 2004 对合方向和新的对合划分。 2010年10月18日Zbl 陈玉福；高小山 4 2001 代数偏微分方程组的对合特征集。 Zbl 1215.35018号 陈玉夫；高晓山 4 2003 浅水Whitham–Broer–Kaup方程新型解的计算方法。 Zbl 1167.35488号 谢福丁；高小山 4 2004 部分差分多项式系统上升链的性质。 Zbl 1166.12300号 张桂林；高小山 4 2008 常微分多项式的分解。 邮编：1180.12004 高晓山；张明波 4 2008 使用吴方法和柯林斯方法的组合来机械地证明几何定理。 Zbl 1433.68547号 Freitag McPhee，尼古拉斯；周尚卿；高小山 4 1994 一阶泛型常微分多项式微分结式的矩阵公式。 Zbl 1347.12003年 张志勇；袁春明；高小山 4 2014 二项式差分理想。 Zbl 1404.13032号 高小山；黄，张；袁春明 4 2017 差分多项式理想的分解系统。 Zbl 1356.12007年 高小山；袁春明 4 2006 初等几何中的超越函数和机械定理证明。 Zbl 0729.03006号 高晓山 4 1990 热带差异Gröbner基数。 Zbl 1482.14066号 胡友仁；高小山 4 2021 关于P4P问题解的数量的概率。 Zbl 1478.68422号 高小山；唐建良 三 2006 微分几何和力学中使用特征集方法的自动推理。二： 机械定理证明。 兹比尔0782.68101 周尚卿；高小山 三 1993 透视三点问题的新算法。 Zbl 0983.65020号 高晓山；陈汉飞 三 2001 用于计算参数方程组解数的零分解定理。 Zbl 1232.65078号 高晓山；王定康 三 2003 任意阶常差多项式系统的Ritt-Wu特征集方法。 2012年9月19日Zbl 高晓山；袁春明；张桂林 三 2009 通过重塑运动轨迹来减少数控加工中的跟踪误差。 Zbl 1294.93037号 郭建新；张、强；高小山 三 2013 对固有不适当的非理性品种进行适当的重新适配。 Zbl 1300.14060号 沈立勇；Chionh，Engwee公司；高小山；李，贾 三 2011 有限域中MAX-MQ的最小可实现近似比。 Zbl 1168.68052号 赵尚伟；高小山 三 2009 关于平面代数曲线的拓扑和可视化。 Zbl 1439.14107号 金，凯；程金珊；高小山 三 2015 立体几何中传统证明的自动生成。 兹比尔0824.03005 周尚卿；高小山；张景忠 三 1995 几何专家简介。 Zbl 1412.68214号 周尚卿；高小山；张景忠 三 1996 基于随机Kronecker代换的稀疏多项式插值。 Zbl 1456.65010号 黄乔龙；高小山 三 2019 稀差合成。 Zbl 1360.12008号 李伟；袁春明；高小山 三 2013 布尔方程求解的量子算法和密码系统的量子代数攻击。 Zbl 1483.68137号 陈玉傲；高小山 2 2022 微分几何和力学中使用特征法的自动推理。四： 伯特兰曲线。 Zbl 0796.68172号 周尚卿；高晓山 2 1993 欠约束几何约束问题的井约束完备性和分解。 Zbl 1104.65307号 张桂芳；高小山 2 2006 一类特殊有理参数方程的适当参数化。 Zbl 1120.65023号 李，贾；高晓山 2 2006 代数曲线和曲面的Kempe连杆的自动生成。 Zbl 1140.70332号 高小山；朱、蔡畅；周尚卿；葛建新 2 2001 基于线性规划的跟踪误差受限的时间最优进给速度生成。 Zbl 1311.49102号 郭建新；张、强；高小山；李洪波 2 2015 洛朗偏微分多项式系统的Ritt-Wu特征集方法。 Zbl 1470.12003号 胡友仁；高小山 2 2019 平面广义Stewart平台及其直接运动学。 兹比尔1159.68560 张桂芳；高小山 1 2006 Kempe链接的自动生成及其复杂性。 Zbl 0954.70006号 高晓山；朱昌才 1 1999 一种求解偏微分参数系统的算法。 Zbl 1041.12002号 王继敏；高小山 1 2004 数控插补中基于运动曲线的局部优化和基于look-ahead方案的全局优化。 Zbl 1240.00001号 张丽仙；孙瑞勇；李洪波；高晓山 1 2010 基于二次B样条的数控机床曲线拟合与最优插补。 Zbl 1267.65015号 张梅；闫伟；袁春明；王定康；高晓山 1 2011 用二次曲线和连杆求解几何约束。 Zbl 1206.51019号 高小山；姜昆；朱长才 1 2002 具有奇点的隐式代数曲面的环境同位素网格划分（全体讨论）。 Zbl 1260.68410号 程金珊；高小山；李，贾 1 2009 使用代数方法进行几何推理的概述。 Zbl 0866.68110号 周尚卿；高小山 1 1996 洛朗微分多项式系统的特征集方法。 Zbl 1455.13046号 胡友仁；高小山 1 2017 一阶自治常微分方程的多项式一般解。 1090.34500兹罗提 冯汝永；高小山 1 2005 系数具有有限多个值的稀疏有理函数插值。 Zbl 1497.65020号 黄乔龙；高小山 1 2017 具有初等计算复杂性的微分多项式系统的三角分解算法。 兹比尔1420.68245 朱伟；高小山 1 2017 利用（L_{2，infty}）归一化提高深度神经网络的鲁棒性和准确性。 Zbl 07679067号 于丽嘉；高小山 1 2023 布尔方程求解的量子算法和密码系统的量子代数攻击。 Zbl 1483.68137号 陈玉傲；高小山 2 2022 热带差异Gröbner基数。 Zbl 1482.14066号 胡友仁；高小山 4 2021 基于随机Kronecker代换的稀疏多项式插值。 兹比尔1456.65010 黄乔龙；高小山 三 2019 洛朗偏微分多项式系统的Ritt-Wu特征集方法。 Zbl 1470.12003号 胡友仁；高小山 2 2019 托利差分品种。 Zbl 1407.14049号 高小山；黄，张；王杰；袁春明 6 2017 二项式差分理想。 兹伯利1404.13032 高小山；黄，张；袁春明 4 2017 洛朗微分多项式系统的特征集方法。 Zbl 1455.13046号 胡友仁；高小山 1 2017 系数具有有限多个值的稀疏有理函数插值。 Zbl 1497.65020号 黄乔龙；高小山 1 2017 具有初等计算复杂性的微分多项式系统的三角分解算法。 Zbl 1420.68245号 朱伟；高小山 1 2017 Laurent微分多项式的稀疏微分结果。 Zbl 1315.12003年 李伟；袁春明；高小山 10 2015 稀差合成。 Zbl 1328.65266号 李伟；袁春明；高小山 5 2015 关于平面代数曲线的拓扑和可视化。 Zbl 1439.14107号 金，凯；程金珊；高小山 三 2015 基于线性规划的跟踪误差受限的时间最优进给速度生成。 Zbl 1311.49102号 郭建新；张、强；高小山；李洪波 2 2015 两个多项式的保乘法三角集分解。 Zbl 1317.12002年 程金珊；高小山 5 2014 一阶泛型常微分多项式微分结式的矩阵公式。 Zbl 1347.12003年 张志勇；袁春明；高小山 4 2014 微分代数几何中的交集理论：一般交集和微分Chow形式。 Zbl 1328.14010号 高小山；李伟；袁春明 17 2013 通过重塑运动轨迹减少数控加工中的跟踪误差。 Zbl 1294.93037号 郭建新；张、强；高小山 三 2013 稀差合成。 Zbl 1360.12008号 李伟；袁春明；高小山 三 2013 有限域方程求解的特征集算法。 Zbl 1273.11176号 高小山；黄振宇 15 2012 具有线性单变量表示的零维多项式系统的根隔离。 Zbl 1254.65064号 程金珊；高小山；郭雷雷 8 2012 参数空间曲线与三次B样条曲线的证明逼近。 Zbl 1251.65014号 沈立勇；袁春明；高小山 8 2012 射影微分簇的Chow形式。 Zbl 1296.14003号 李伟；高小山 6 2012 Java几何专家简介。（扩展摘要）。 Zbl 1302.68247号 叶，郑；周尚卿；高小山 13 2011 稀疏差分合成。 Zbl 1323.68612号 李伟；高小山；元，坎明 9 2011 对固有不适当的非理性品种进行适当的重新适配。 Zbl 1300.14060号 沈立勇；Chionh，Engwee公司；高小山；李，贾 三 2011 基于二次B样条的数控机床曲线拟合与最优插补。 Zbl 1267.65015号 张梅；闫伟；袁春明；王定康；高晓山 1 2011 平面几何中证明的视觉动态呈现。一： 基本功能和手动输入方法。 Zbl 1211.68372号 叶，郑；周尚卿；高小山 11 2010 平面几何中证明的视觉动态呈现。二： 使用全角度方法和演绎数据库方法自动生成可视化动态演示。 Zbl 1211.68373号 叶，郑；周尚卿；高小山 7 2010 数控插补中基于运动曲线的局部优化和基于look-ahead方案的全局优化。 Zbl 1240.00001号 张丽仙；孙瑞勇；李洪波；高晓山 1 2010 常差多项式系统的特征集方法。 Zbl 1164.39008号 高小山；罗勇；袁春明 16 2009 二元多项式系统的局部广义位置方法的根隔离。 Zbl 1237.65045号 程金珊；高小山；李，贾 13 2009 零维三角系统实根的完全数值隔离。 Zbl 1169.13017号 程金珊；高小山；Yap，Chee-Keng先生 13 2009 微分多项式系统的特征集方法。 Zbl 1169.13019号 高晓生。；范德霍文，J。；袁，C.M。；张国良。 13 2009 具有任意排序的常微分多项式系统的Ritt-Wu特征集方法。 2012年9月19日Zbl 高晓山；袁春明；张桂林 三 2009 有限域中MAX-MQ的最小可实现近似比。 Zbl 1168.68052号 赵尚伟；高小山 三 2009 具有奇点的隐式代数曲面的环境同位素网格划分（全体讨论）。 Zbl 1260.68410号 程金珊；高小山；李，贾 1 2009 求解布尔方程的特征集方法及其在流密码密码分析中的应用。 Zbl 1201.94080号 柴凤娟；高小山；袁春明 20 2008 常微分方程的有理解。 Zbl 1178.39001号 冯汝永；高小山；黄振宇 5 2008 部分差分多项式系统上升链的性质。 Zbl 1166.12300号 张桂林；高小山 4 2008 常微分多项式的分解。 邮编：1180.12004 高晓山；张明波 4 2008 零维三角系统实零点的完全数值隔离。 Zbl 1190.65082号 程金珊；高小山；Yap，Chee-Keng先生 8 2007 基于非均匀变异的进化规划。 Zbl 1193.68220号 赵新超；高小山；胡泽春 6 2007 求一阶自治常微分方程有理通解的多项式时间算法。 兹比尔1130.65069 冯汝永；高小山 25 2006 非线性色散（K）（m），（n））方程具有紧支撑的精确特殊孤立解。 Zbl 1088.35547号 朱永贵；高晓山 13 2006 二维和三维几何约束求解的C树分解算法。 Zbl 1206.65083号 高小山；林强（Lin，Qiang）；张桂芳 6 2006 固有的不当曲面参数化支持。 Zbl 1108.65010号 Chionh，Eng-Wee（英国）；高小山；沈立勇 4 2006 差分多项式理想的分解系统。 Zbl 1356.12007年 高小山；袁春明 4 2006 关于P4P问题解的数量的概率。 Zbl 1478.68422号 高小山；唐建良 三 2006 欠约束几何约束问题的井约束完备性和分解。 Zbl 1104.65307号 张桂芳；高小山 2 2006 一类特殊有理参数方程的适当参数化。 Zbl 1120.65023号 李，贾；高晓山 2 2006 平面广义Stewart平台及其直接运动学。 Zbl 1159.68560号 张桂芳；高小山 1 2006 代数常微分方程的代数通解。 Zbl 1360.68913号 阿罗卡，J.M。；卡诺，J。；R·冯。；高晓生。 16 2005 确定实代数曲面的拓扑。 兹比尔1141.68628 程金珊；高小山；李明 14 2005 一阶自治常微分方程的多项式一般解。 1090.34500兹罗提 冯汝永；高小山 1 2005 代数常微分方程的有理通解。 Zbl 1134.34302号 冯汝永；高晓山 24 2004 一类非线性偏微分方程的精确行波解。 Zbl 1068.35146号 谢福鼎；高晓山 17 2004 MMP/Geometer–用于自动几何推理的软件包。 Zbl 1202.68378号 高小山；林强（Lin，Qiang） 16 2004 实代数曲线的有理二次逼近。 Zbl 1069.65518号 高小山；李明 11 2004 计算机代数在求解非线性发展方程中的应用。 Zbl 1167.35300号 谢福丁；高小山 6 2004 常系数微分多项式的分解。 Zbl 1134.68598号 高晓山；张明波 4 2004 浅水Whitham–Broer–Kaup方程新型解的计算方法。 Zbl 1167.35488号 谢福丁；高小山 4 2004 一种求解偏微分参数系统的算法。 Zbl 1041.12002号 王继敏；高小山 1 2004 微分有理参数方程的隐式化。 Zbl 1048.12006年 高小山 7 2003 代数偏微分方程组的对合特征集。 Zbl 1215.35018号 陈玉夫；高晓山 4 2003 用于计算参数方程组解数的零分解定理。 Zbl 1232.65078号 高晓山；王定康 三 2003 微分多项式系统的近似微分特征集。 Zbl 1033.68049号 特穆尔州朝鲁；高小山 9 2002 微分场中的吕罗斯定理。 Zbl 1041.12001 高晓山；徐涛 4 2002 使用圆锥曲线和连杆机构求解几何约束。 Zbl 1206.51019号 高小山；姜昆；朱长才 1 2002 几何中的自动推理。 Zbl 1011.68128号 周尚卿；高小山 14 2001 数学机械化：一项调查。 Zbl 0999.03009号 高晓山 6 2001 对合方向和新的对合划分。 2010年10月18日Zbl 陈玉福；高小山 4 2001 透视三点问题的新算法。 Zbl 0983.65020号 高晓山；陈汉飞 三 2001 代数曲线和曲面的Kempe连杆的自动生成。 Zbl 1140.70332号 高小山；朱长才；周尚卿；葛建新 2 2001 自动几何定理证明和发现的演绎数据库方法。 Zbl 0961.68121号 周尚卿；高小山；张景忠 21 2000 数学机械化和应用。 Zbl 0968.68201号 13 2000 使用优化方法满足几何约束。 兹比尔1069.68620 葛建新；周尚卿；高小山 5 1999 关于预解式理论及其应用。 Zbl 1073.13505号 高晓山；周尚卿 5 1999 Kempe链接的自动生成及其复杂性。 Zbl 0954.70006号 高晓山；朱昌才 1 1999 非欧几里德几何定理可读证明的自动生成。 Zbl 0910.03011号 杨璐；高小山；周尚卿；张景忠 1 1998 使用几何不变量自动生成可读的证明。二： 用全角度证明定理。 Zbl 0865.68110号 周尚卿；高小山；张景忠 17 1996 使用几何不变量自动生成可读的证明。一： 多个最短的证明生成。 Zbl 0865.68109号 周尚卿；高小山；张景忠 15 1996 几何专家简介。 Zbl 1412.68214号 周尚卿；高小山；张景忠 三 1996 使用代数方法进行几何推理的概述。 Zbl 0866.68110号 周尚卿；高小山 1 1996 欧几里得几何中定理的传统证明的自动生成。一： 希尔伯特交点定理。 兹比尔0855.68095 张景忠；周尚卿；高小山 7 1995 立体几何中传统证明的自动生成。 兹比尔0824.03005 周尚卿；高小山；张景忠 三 1995 几何的机器证明。几何定理可读证明的自动生成。 Zbl 0941.68503号 周尚卿；高晓山；张建忠。 43 1994 使用吴方法和柯林斯方法的组合来机械地证明几何定理。 Zbl 1433.68547号 Freitag McPhee，尼古拉斯；周尚卿；高小山 4 1994 微分几何和力学中使用特征集方法的自动推理。一： Ritt-Wu分解算法的改进版本。 Zbl 0782.68100号 周尚卿；高小山 13 1993 关于任意上升链的维数。 Zbl 0845.13004号 高晓山；周尚卿 9 1993 微分参数系统的零结构定理。 Zbl 0805.12003年 高小山；周尚卿 6 1993 通过矢量计算自动证明几何定理。 Zbl 0968.03520号 周尚卿；高小山；张景忠 6 1993 微分几何和力学中使用特征集方法的自动推理。二： 机械定理证明。 Zbl 0782.68101号 周尚卿；高小山 三 1993 微分几何和力学中使用特征法的自动推理。四： 伯特兰曲线。 Zbl 0796.68172号 周尚卿；高晓山 2 1993 有理参数方程的隐式化。 Zbl 0782.14047号 高小山；周尚卿 20 1992 关于代数曲线的参数化。 Zbl 0769.14021号 高小山；周尚卿 7 1992 证明构造型几何语句。 Zbl 0925.03067号 周尚卿；高小山 5 1992 关于曲线和曲面的法线参数化。 Zbl 0735.68092号 高小山；周尚卿 11 1991 使用参数方程进行计算。 Zbl 0917.65012号 高晓山；周尚卿 6 1991 Ritt-Wu的分解算法和几何定理证明。 Zbl 0708.68062号 南卡罗来纳州周。；高晓生。 24 1990 …和另外两份文件 所有引用出版物 前5名被引用出版物 全部的 前5名517位作者引用 55 高晓山 18 胡安·拉斐尔·森德拉 18 袁春明 17 王东明 15 沈立勇 13 弗兰茨·温克勒 12 程金三 12 周尚卿 12 李伟 11 张景忠 10 李洪波 10 佩德罗·夸雷斯马 9 黄振宇 9 贾尼契奇，普雷德拉格 9 朱利安·纳布克斯 8 诺，Lám Xuán Chau 8 张洪清 7 陈玉夫 7 佐尔坦科瓦奇 7 牟、陈琪 7 索尼娅·佩雷斯·迪亚斯 6 特穆尔州朝鲁 6 塞巴斯蒂安·法肯斯坦纳 6 林，东岱 6 Sonia L.鲁埃达。 6 孙尧 6 张志勇 5 陈晓宇 5 冯汝永 5 乔治·格拉塞格 5 金，凯 5 李志斌 5 扎伊德·奥迪巴特。 5 Gleb A.波古丁。 5 雷西奥，托马斯 5 迈克尔·萨格拉洛夫 5 王定康 5 杨璐 4 弗朗西斯科·博塔纳 4 陈昌波 4 冯勇 4 高益田 4 李，贾 4 马克·莫雷诺·马扎 4 托马斯·斯坎隆。 4 约瑟夫·希乔 4 菲利普·托德。 4 齐加里达斯，Elias P。 4 王明亮 4 Yap，Chee-Keng先生 三 埃里克·小檗 三 弗朗索瓦·布利埃 三 何塞·玛丽亚·卡诺 三 陈法来 三 陈，毛 三 郭建新 三 黄定江 三 黄艳丽 三 赖一生 三 丹尼尔·拉扎德 三 弗朗索瓦·莱梅尔 三 阿列克谢·伊戈列维奇·奥夫钦尼科夫 三 彭锡成 三 迈克尔·Q·瑞克。 三 穆罕默德·萨弗里·埃尔丁 三 Elias George，萨利比 三 帕斯卡·施雷克 三 大卫·塞维利亚 三 米拉·西塔拉姆 三 卡洛斯·维拉里诺 三 Vo、Thieu N。 三 王杰 三 吴文元 三 张金良 三 赵彩迪 2 胡安·杰拉尔多·阿尔卡扎 2 菲利普·奥布里 2 苏道州比利奇 2 豪尔赫·卡拉万提斯 2 陈怀堂 2 陈少石 2 Chionh，Engwee公司 2 托马斯·克鲁索 2 德阿方索，Lisi 2 Dong，里娜 2 克里斯蒂安·埃德尔 2 冯，双 2 高、本 2 克里斯蒂安·加雷·洛佩斯 2 格拉齐亚尼，皮耶路易吉 2 何纪欢 2 胡友仁 2 黄波 2 黄磊 2 黄巧龙 2 黄，张 2 加布里埃拉·杰罗尼莫 2 伯特·Jüttler 2 亚历山大·科贝尔 2 赖家华 …还有417位作者 全部的 前5名94篇连载文章中引用 67 符号计算杂志 49 系统科学与复杂性杂志 20 应用数学与计算 20 计算机科学中的数学 17 计算机辅助几何设计 16 自动推理杂志 14 混沌、孤子和分形 12 数学与人工智能年鉴 11 计算与应用数学杂志 8 《物理快报》。A类 7 代数杂志 7 工程、通信和计算中的应用代数 6 计算机与数学及其应用 5 理论计算机科学 5 中国科学。系列A 5 数学成像与视觉杂志 5 科学中国。数学 4 计算数学 4 应用数学进展 4 计算机科学与技术杂志 4 离散和计算几何 4 计算几何 三 工程中的数学问题 三 非线性科学与数值模拟中的通信 2 代数通讯 2 数学分析与应用杂志 2 非线性分析。理论、方法和应用。系列A：理论与方法 2 美国数学学会会刊 2 国际计算几何与应用杂志 2 国际计算机数学杂志 2 摘要与应用分析 2 计算数学基础 2 应用数学杂志 1 人工智能 1 离散应用数学 1 工程数学杂志 1 核物理。B类 1 理论和数学物理 1 几何与物理杂志 1 数学信使 1 越南数学学报 1 加拿大数学杂志 1 加拿大数学通报 1 计算 1 模糊集与系统 1 信息科学 1 数学手稿 1 Monatsheft für Mathematik 1 太平洋数学杂志 1 美国数学学会会刊 1 数学成绩 1 合成 1 应用数学和力学。（英文版） 1 应用数学学报。英语系列 1 复杂性杂志 1 应用数学快报 1 数学和计算机建模 1 计算的形式方面 1 智能与机器人系统杂志 1 设计、代码和密码 1 数值算法 1 Aequationes数学 1 应用数学建模 1 线性代数及应用 1 美国数学学会公报。新系列 1 选择Mathematica。新系列 1 复杂性 1 可靠的计算 1 离散和连续动力系统 1 非线性动力学 1 机械与机器理论 1 数据挖掘与知识发现 1 离散数学科学与密码学杂志 1 欧洲数学学会杂志（JEMS） 1 国际现代物理杂志C 1 几何学进展 1 数学科学学报。B系列（英文版） 1 量子信息处理 1 智能与模糊系统杂志 1 地中海数学杂志 1 中国科学。F系列 1 复变量与椭圆方程 1 《大学数学杂志》 1 计算机代数中的ACM通信 1 理论物理交流 1 符号逻辑述评 1 数学物理进展 1 科学中国。信息科学 1 对称性 1 数学科学公报 1 马哈尼数学研究中心学报 1 数学论坛，西格玛 1 东亚应用数学杂志 1 SIAM应用代数和几何杂志 全部的 前5名在44个字段中引用 199 计算机科学（68至XX） 90 数值分析（65-XX） 75 代数几何（14-XX） 68 场论和多项式（12-XX） 63 交换代数（13-XX） 58 偏微分方程（35-XX） 44 常微分方程（34-XX） 42 几何图形（51至XX） 32 数学逻辑和基础（03-XX） 17 信息与通信理论、电路（94-XX） 12 运筹学、数学规划（90-XX） 11 差分方程和函数方程（39至XX） 11 系统论；控制（93至XX） 9 动力系统和遍历理论（37至XX） 8 数论（11-XX） 8 复变量的函数（30年XX月） 8 量子理论（81-XX） 7 实函数（26年X月X日） 7 粒子和系统力学（70-XX） 6 线性代数和多线性代数；矩阵理论（15-XX） 6 微分几何（53至XX） 6 数学教育（97-XX） 5 组合数学（05-XX） 5 几个复变量和分析空间（32-XX） 5 近似和展开（41至XX） 5 流体力学（76-XX） 4 总体主题；集合（00-XX） 4 变分法与最优控制；最优化（49至XX） 三 历史和传记（01-XX） 三 凸和离散几何（52至XX） 三 整体分析，流形分析（58至XX） 三 生物学和其他自然科学（92-XX） 2 阶、格、有序代数结构（06-XX） 2 结合环与代数（16-XX） 2 算子理论（47-XX） 2 代数拓扑（55-XX） 2 可变形固体力学（74-XX） 1 拓扑群、李群（22日至XX日） 1 特殊功能（33至XX） 1 欧氏空间的调和分析（42至XX） 1 积分方程（45-XX） 1 功能分析（46倍X倍） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 按年份列出的引文