王东明 0001
人员信息
附属: 北京航空航天大学数学与系统科学学院,中国北京 附属: 巴黎LIP6
其他同名人员
优化列表
2020年–今天
2024 [公元46年] 胡安·徐 , 王东明 , 东路 :
零维多项式系统零点的无平方正规表示。 J.塞姆。 计算。 122 : 102273 ( 2024 ) 2023 [公元40年] Hoon Hong公司 , 王东明 , 泾阳 :
通过分段径向重新参数化提高角速度均匀性。 ADG公司 2023 : 165-178 2022 [j45] 王东明 :
南宁SMS和亚琛RWTH:纪念弗拉基米尔·格特。 数学。 计算。 科学。 16 ( 4 ) : 25 ( 2022 ) 2021 [公元44年] 王东明 , 胡安·徐 :
用于分离某些根式的实根的符号-数字算法。 J.计算。 申请。 数学。 391 : 113424 ( 2021 ) [公元43年] Rina Dong先生 , 王东明 :
用Gröbner基计算强正则特征对。 J.塞姆。 计算。 104 : 312-327 ( 2021 ) [公元39年] Rina Dong先生 , 东路 , 陈其谋 , 王东明 :
参数多项式系统的综合特征分解。 ISSAC公司 2021 : 123-130 2020 [公元42年] 王东明 , 黄波(Bo Huang) , 陈晓宇(Xiaoyu Chen) :
关于任意三角形角度的n个扇区。 数学。 计算。 科学。 14 ( 4 ) : 757-773 ( 2020 ) [公元41年] 王东明 , Rina Dong先生 , 陈其谋 :
多项式集分解为特征对。 数学。 计算。 89 ( 324 ) : 1993-2015 ( 2020 )
2010 – 2019
2019 [j40] 小山高 , 李洪波 , 王东明 :
特刊前言。 J.系统。 科学。 复杂。 32 ( 1 ) : 1-2 ( 2019 ) [公元39年] 陈其谋 , 王东明 :
特征分解:从正则集到正规集。 J.系统。 科学。 复杂。 32 ( 1 ) : 37-46 ( 2019 ) [电子9] 詹姆斯·达文波特 , 王东明 , 曼努埃尔·考尔斯 , 罗素·J·布拉德福德 :
2019年国际符号与代数计算研讨会论文集,2019年ISSAC,中国北京,2019月15日至18日。 ACM公司 2019 ,国际标准图书编号 978-1-4503-6084-5 [目录] [i8] Rina Dong先生 , 王东明 :
用Groebner基计算强正则特征对。 CoRR公司 abs/1907.13537 ( 2019 ) 2018 [公元38年] 陈其谋 , 王东明 :
关于字典Gröbner基的W特征集。 ACM通信。 计算。 代数 52 ( 4 ) : 142-144 ( 2018 ) [c38] 陈晓宇(Xiaoyu Chen) , 昊天帅 , 王东明 , 泾阳 :
LaTEX:线性代数教材系统。 AISC公司 2018 : 209-214 [电子8] 雅克·弗莱里奥特 , 王东明 , 雅克·卡尔梅特 :
人工智能与符号计算第13届国际会议,AISC 2018,中国苏州,2018年9月16-19日,会议记录。 计算机科学课堂讲稿 11110, 施普林格 2018 ,国际标准图书编号 978-3-319-99956-2 [目录] 2017 [公元37年] 丹松 , 王东明 , 陈晓宇(Xiaoyu Chen) :
从图像中检索几何信息:手绘图表的情况。 最小已知数据。 发现。 31 ( 4 ) : 934-971 ( 2017 ) [公元36年] 都铎-杰别利安 , 魏丽 , 王东明 :
关于程序验证、自动调试和符号计算的特刊。 J.塞姆。 计算。 80 : 1-3 ( 2017 ) [i7] 王东明 , Rina Dong先生 , 陈其谋 :
多项式集分解为特征对。 CoRR公司 abs/1702.08664 ( 2017 ) 2016 [j35] J.拉斐尔·森德拉 , 王东明 , 泾阳 :
前言。 数学。 计算。 科学。 10 ( 1 ) : 1-3 ( 2016 ) [公元34年] 王东明 :
关于Ritt特征集与Buchberger-Groöbner基之间的联系。 数学。 计算。 科学。 10 ( 4 ) : 479-492 ( 2016 ) 2015 [公元33年] 陈晓宇(Xiaoyu Chen) , 丹松 , 王东明 :
从图表图像中自动生成几何定理。 安。数学。 Artif公司。 智力。 74 ( 3-4 ) : 333-358 ( 2015 ) [公元37年] 文雅安 , 陈晓宇(Xiaoyu Chen) , 王东明 :
使用从图中检索的特征搜索几何定理。 MACIS公司 2015 : 383-397 [i6] 王东明 :
关于Ritt特征集与Buchberger-Groöbner基之间的联系。 CoRR公司 abs/1506.08994 ( 2015 ) [i5] 埃里卡·阿布拉哈姆 , 帕斯卡·方丹 , 托马斯·斯特姆 , 王东明 :
符号计算和可满足性检查(Dagstuhl研讨会15471)。 达格斯图尔报告 5 ( 11 ) : 71-89 ( 2015 ) 2014 [公元36年] 丹松 , 王东明 , 陈晓宇(Xiaoyu Chen) :
从图表的扫描图像和照片中发现几何定理。 ADG公司 2014 : 149-165 [公元35年] 王东明 , 陈晓宇(Xiaoyu Chen) , 文雅安 , 雷江 , 丹松 :
OpenGeo:一个开放的几何知识库。 信息和通信管理系统 2014 : 240-245 [i4] 陈晓宇(Xiaoyu Chen) , 丹松 , 王东明 :
从图表图像中自动生成几何定理。 CoRR公司 abs/1406.1638 ( 2014 ) [i3] 陈晓宇(Xiaoyu Chen) , 王东明 :
数据、信息和知识的空间。 CoRR公司 abs/1411.1497 ( 2014 ) 2013 [公元32年] 泾阳 , 王东明 , Hoon Hong公司 :
通过重新参数化提高角速度均匀性。 计算。 辅助Geom。 设计。 30 ( 7 ) : 636-652 ( 2013 ) [公元31年] Hoon Hong公司 , 王东明 , 泾阳 :
提高曲线参数化一致性的框架。 科学。 中国信息科学。 56 ( 10 ) : 1-22 ( 2013 ) 【j30】 孟进 , 李晓亮 , 王东明 :
一种计算特征集的新算法方案。 J.塞姆。 计算。 50 : 431-449 ( 2013 ) [公元29年] 陈晓宇(Xiaoyu Chen) , 王东明 , 张向良 :
特别关注数学、数据和知识的前言。 数学。 计算。 科学。 7 ( 4 ) : 379-386 ( 2013 ) [公元28年] 陈晓宇(Xiaoyu Chen) , 王东明 :
几何知识对象的形式化和规范化。 数学。 计算。 科学。 7 ( 4 ) : 439-454 ( 2013 ) [公元27年] 陈其谋 , 王东明 , 李晓亮 :
将多项式集分解为有限域上的简单集:正维情况。 西奥。 计算。 科学。 468 : 102-113 ( 2013 ) [i2] 李晓亮 , 王东明 :
使用三角分解和实解分类计算半代数经济体的均衡。 CoRR公司 abs/1308.5029 ( 2013 ) 2012 [公元26年] 魏牛 , 王东明 :
自组装胶束系统稳定性和分岔的代数分析。 申请。 数学。 计算。 219 ( 1 ) : 108-121 ( 2012 ) [公元25年] 陈晓宇(Xiaoyu Chen) , 王东明 , Ting Zhao(赵婷) :
GeoText:智能动态几何教科书。 ACM通信。 计算。 代数 46 ( 3/4 ) : 171-175 ( 2012 ) [公元24年] 陈晓宇(Xiaoyu Chen) , 王东明 :
教材中几何知识的管理。 数据知识。 工程师。 73 : 43-57 ( 2012 ) [公元23年] 王东明 :
反馈控制系统的代数稳定性准则和稳定性条件的符号推导。 国际J.控制 85 ( 10 ) : 1414-1421 ( 2012 ) [公元34年] 王东明 :
几何自动化-定理证明、图表生成和知识管理。 几何中的自动演绎 2012 : 31-32 [公元33年] 泾阳 , 王东明 , Hoon Hong公司 :
通过C1分段重参数化提高角速度均匀性。 几何中的自动演绎 2012 : 33-47 [公元32年] 陈晓宇(Xiaoyu Chen) , 魏丽 , 杰罗 , 王东明 :
开放几何教科书:通过集体智能获取知识的案例研究-(项目描述)。 AISC/MKM/结石 2012 : 432-437 [c31] 泾阳 , 王东明 , Hoon Hong公司 :
ImUp:平面曲线均匀性改进重参数化的Maple包。 ASCM公司 2012 : 437-451 [公元30年] 泾阳 , 王东明 , Hoon Hong公司 :
通过优化C 0分段重参数化提高角速度均匀性。 中国科学院 2012 : 349-360 [公元29年] Ting Zhao(赵婷) , Hoon Hong公司 , 王东明 , 菲利普·奥布里 :
应用三次和四次方程的实解公式生成带有不等式约束的动态图。 囊 2012 : 94-101 2011 [公元22年] 黄艳丽 , 王东明 :
使用正则系统和Gröbner基计算参数化曲面的相交和自相交轨迹。 计算。 辅助Geom。 设计。 28 ( 9 ) : 566-581 ( 2011 ) [公元21年] Ting Zhao(赵婷) , 王东明 , Hoon Hong公司 :
无约束或有约束三次方程的解公式。 J.塞姆。 计算。 46 ( 8 ) : 904-918 ( 2011 ) [公元20年] 李晓亮 , 陈其谋 , 魏牛 , 王东明 :
用代数方法分析离散生物模型的稳定性。 数学。 计算。 科学。 5 ( 三 ) : 247-262 ( 2011 ) [电子7] 王东明 , 维奥雷尔·内格鲁 , 铁雄艾达 , 都铎-杰别利安 , 达娜·佩特库 , 斯蒂芬·瓦特 , 丹妮拉·扎哈里 :
第十三届科学计算符号和数字算法国际研讨会,2011年SYNASC,2011年9月26日至29日,罗马尼亚蒂米索拉。 IEEE计算机学会 2011 ,国际标准图书编号 978-1-4673-0207-4 [目录] [i1] 孟进 , 李晓亮 , 王东明 :
一种新的计算特征集的算法方案。 CoRR公司 腹肌/1108.1486 ( 2011 ) 2010 [公元19年] 李晓亮 , 陈其谋 , 王东明 :
将多项式集分解为有限域上的简单集:零维情况。 计算。 数学。 申请。 60 ( 11 ) : 2983-2997 ( 2010 )
2000 – 2009
2009 [公元28年] 黄艳丽 , 王东明 :
使用正则系统和Groebner基计算参数化曲面的自相交轨迹。 SYNASC公司 2009 : 28-36 2008 [公元18年] 魏牛 , 王东明 :
生物系统稳定性分析的代数方法。 数学。 计算。 科学。 1 ( 三 ) : 507-539 ( 2008 ) [公元27年] 魏牛 , 王东明 :
生物系统分岔和极限环的代数分析。 AB公司 2008 : 156-171 [公元26年] 陈晓宇(Xiaoyu Chen) , 黄颖(音) , 王东明 :
关于几何知识库的设计与实现。 几何中的自动演绎 2008 : 22-41 [公元25年] 王东明 :
代数和几何计算的三角分解。 SYNASC公司 2008 : 28 2007 [公元17年] 梁铁林 , 王东明 :
关于几何面向对象语言的设计和实现。 前沿计算。 科学。 中国 1 ( 2 ) : 180-190 ( 2007 ) [公元16年] 王东明 , 李洪志 :
前言。 数学。 计算。 科学。 1 ( 2 ) : 209-210 ( 2007 ) [电子6] 王东明 :
符号和代数计算,国际研讨会,ISSAC 2007,加拿大安大略省滑铁卢,2007年7月28日至8月1日,会议记录。 ACM公司 2007 ,国际标准图书编号 978-1-59593-743-8 [目录] 2006 [公元24年] 陈晓宇(Xiaoyu Chen) , 王东明 :
走向电子几何教科书。 几何中的自动演绎 2006 : 1-23 【c23】 Hoon Hong公司 , 李丽云 , 梁铁林 , 王东明 :
求解包含不等式的动态几何约束。 AISC公司 2006 : 181-195 [公元22年] 韦潘(Wei Pan) , 王东明 :
由具有参数指数的多项式生成的理想的一致Gröbner基。 ISSAC公司 2006 : 269-276 [电子5] Hoon Hong公司 , 王东明 :
《几何中的自动演绎》,第五届国际研讨会,ADG 2004,美国佛罗里达州盖恩斯维尔,2004年9月16-18日,修订论文。 计算机科学课堂讲稿 3763, 施普林格 2006 ,国际标准图书编号 3-540-31332-X号 [目录] [电子4] 雅克·卡尔梅特 , 铁雄艾达 , 王东明 :
人工智能与符号计算,第八届国际会议,AISC 2006,中国北京,2006年9月20日至22日,会议记录。 计算机科学课堂讲稿 4120, 施普林格 2006 ,国际标准图书编号 3-540-39728-0 [目录] 2005 【c21】 王东明 :
正则系统的投影性质及其在求解参数多项式系统中的应用。 算法代数与逻辑 2005 : 269-274 [公元20年] 王东明 , 碧灿霞 :
具有实际溶液分类的生物系统稳定性分析。 ISSAC公司 2005 : 354-361 2004 【b3】 王东明 :
消除实践-软件工具和应用程序。 帝国理工学院出版社 2004 ,国际标准图书编号 978-1-86094-438-3 第I-VIII页,第1-222页 [公元15年] 王东明 :
隐式有理曲线和曲面的简单方法。 J.塞姆。 计算。 38 ( 1 ) : 899-914 ( 2004 ) [第19条] 梁铁林 , 王东明 :
面向几何对象语言。 几何中的自动演绎 2004 : 130-155 2003 [第18条] 王东明 :
使用Maple和Java自动生成图表。 代数、几何和软件系统 2003 : 277-287 2002 [第17条] 王东明 :
GEOTHER 1.1:自动处理和证明几何定理。 几何中的自动演绎 2002 : 194-215 2001 【b2】 王东明 :
消除方法。 符号计算中的文本和专题 , 施普林格 2001 ,国际标准图书编号 978-3-211-83241-7 第i-xiii页,第1-244页 [电子3] 尤尔根·里希特·盖伯特 , 王东明 :
几何自动推导,第三次国际研讨会,ADG 2000,瑞士苏黎世,2000年9月25日至27日,修订论文。 计算机科学课堂讲稿 2061, 施普林格 2001 ,国际标准图书编号 3-540-42598-5 [目录] 2000 [公元14年] 王东明 :
计算三角系统和正则系统。 J.塞姆。 计算。 30 ( 2 ) : 221-236 ( 2000 ) [第16条] 菲利普·奥布里 , 王东明 :
使用微分零点和理想分解推理曲面。 几何中的自动演绎 2000 : 154-174
1990 – 1999
1999 【b1】 王东明 :
方法限制和应用。 (消除方法)。 法国格勒诺布尔理工学院, 1999 [j13] 圣菲维尔 , 王东明 :
结合Clifford代数计算和Term重写来证明几何定理。 芬丹。 信息学 39 ( 1-2 ) : 85-104 ( 1999 ) [公元12年] 王东明 :
某些微分方程的多项式系统。 J.塞姆。 计算。 28 ( 1-2 ) : 303-315 ( 1999 ) [电子2] 小山高 , 王东明 , 陆洋 :
几何中的自动演绎,第二届国际研讨会,ADG’98,中国北京,1998年8月1-3日,会议记录。 计算机科学课堂讲稿 1669, 施普林格 1999 ,国际标准图书编号 3-540-66672-9 [目录] 1998 [公元11年] 王东明 :
多项式理想根的非混合分解和素分解。 SIGSAM牛市。 32 ( 4 ) : 2-9 ( 1998 ) [公元10年] 王东明 :
将多项式系统分解为简单系统。 J.塞姆。 计算。 25 ( 三 ) : 295-314 ( 1998 ) [第15条] 蒂埃里·德拉图尔男孩 , 圣菲维尔 , 王东明 :
三维几何推理的Clifford术语重写。 几何中的自动演绎 1998 : 130-155 [第14条] 王东明 :
分解代数变体。 几何中的自动演绎 1998 : 180-206 [第13条] 圣菲维尔 , 王东明 :
结合代数计算和术语重写进行几何定理证明。 AISC公司 1998 : 145-156 [第12条] 圣菲维尔 , 王东明 :
使用Clifford代数和重写规则证明几何定理。 CADE公司 1998 : 17-31 1997 [电子1] 王东明 :
《几何中的自动演绎》,《几何中自动演绎国际研讨会》,法国图卢兹,1996年9月27日至29日,论文集。 计算机科学课堂讲稿 1360, 施普林格 1997 ,国际标准图书编号 3-540-64297-8 [目录] 1996 [第11条] 王东明 :
几何推理的Clifford代数演算及其在计算机视觉中的应用。 几何中的自动演绎 1996 : 115-140 [第10条] 王东明 :
几何机器:从AI到SMC。 AISMC公司 1996 : 213-239 【c9】 王东明 :
GEOTHER:几何定理证明者。 CADE公司 1996 : 166-170 1995 [公元9年] 王东明 :
几何力学定理证明的消去程序。 安。数学。 Artif公司。 智力。 13 ( 1-2 ) : 1-24 ( 1995 ) [j8] 王东明 :
不同几何和力学中定理的证明方法。 J.大学。 计算。 科学。 1 ( 9 ) : 658-673 ( 1995 ) 1994 [j7] 王东明 :
关于索引变量的不定和的微分和积分-一些规则和应用。 J.塞姆。 计算。 18 ( 三 ) : 249-263 ( 1994 ) 【c8】 王东明 :
代数因子分解和几何证明。 CADE公司 1994 : 386-400 1993 [j6] 王东明 :
多项式系统的一种消元方法。 J.塞姆。 计算。 16 ( 2 ) : 83-114 ( 1993 ) 【c7】 斯蒂芬·德雷塞特 , 王东明 :
C的自动生成 ++ 神经网络模拟代码。 IWANN公司 1993 : 358-363 1992 [j5] 王东明 :
通过特征集和Gröbner基对代数簇进行不可约分解。 计算。 辅助Geom。 设计。 9 ( 6 ) : 471-484 ( 1992 ) 【j4】 王东明 , 伯恩德·舒尔曼 :
人工神经系统的计算机辅助分析和推导。 IEEE传输。 软件工程。 18 ( 8 ) : 728-735 ( 1992 ) 【c6】 王东明 :
加快特征集计算的策略。 MFCS公司 1992 : 504-510 1991 [j3] 王东明 :
用于操作不定和的工具箱,并应用于神经网络。 SIGSAM牛市。 25 ( 三 ) : 18-27 ( 1991 ) [注2] 王东明 :
一类微分系统的机械操纵。 J.塞姆。 计算。 12 ( 2 ) : 233-254 ( 1991 ) 【c5】 王东明 :
基于特征集的算法的并行化。 ACPC公司 1991 : 338-349 【c4】 王东明 :
用于处理不定和的工具箱,并应用于神经网络。 ISSAC公司 1991 : 462-463 【c3】 王东明 , 伯恩德·舒尔曼 :
计算机代数和神经动力学。 Physik和Informatik 1991 : 304-317
1980 – 1989
1989 [j1] 王东明 :
在草稿行II中计算Liapunov函数和Liapunow常数的程序。 SIGSAM牛市。 23 ( 4 ) : 25-31 ( 1989 ) 【c2】 王东明 :
研究中心和焦点型平面微分系统的计算机代数方法。 计算机和数学 1989 : 91-99 【c1】 王东明 :
论吴的构造性几何定理的证明方法。 国际JCAI 1989 : 419-424