Rina Dong;王东明 用Gröbner基计算强正则特征对。 （英语） Zbl 1458.13031号 J.塞姆。计算。 104, 312-327 (2021). 审核人：阿米尔·哈希米（伊斯法罕） MSC公司：第13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Dong}和\textit{D.Wang}，J.Symb。计算。104、312--327（2021；Zbl 1458.13031） 全文： DOI程序 arXiv公司
王东明;黄波;陈晓宇 On（n）-任意三角形角度的扇形。 （英语） Zbl 1488.51010号 数学。计算。科学。 14，第4期，757-773（2020年）.MSC公司：2004年5月5日 03B35型 第13页第10页 51-08 51N20号 68伏15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang}等人，数学。计算。科学。14，编号4757-773（2020；兹bl 1488.51010） 全文： DOI程序
陈晓宇;丹·宋;王东明 从图表图像中自动生成几何定理。 （英语） Zbl 1330.68263号 安。数学。工件。智力。 74，编号3-4，333-358（2015）.MSC公司：68吨15 68吨10 68单位05 68单位10 94A08型 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人，Ann.Math。工件。智力。74，编号3--4，333--358（2015；Zbl 1330.68263） 全文： DOI程序 arXiv公司
李晓亮;王东明 使用三角分解和实解分类计算半代数经济体的均衡。 （英语） Zbl 1308.91103号 数学杂志。经济。 54, 48-58 (2014).MSC公司：91B50型 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}和\textit{D.Wang}，J.数学。经济。54、48-58（2014；Zbl 1308.91103） 全文： DOI程序 arXiv公司
陈晓宇;王东明 几何知识对象的形式化和规范化。 （英语） Zbl 1319.68214号 数学。计算。科学。 7，第4期，439-454（2013）.MSC公司：68立方英尺 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}和\textit{D.Wang}，数学。计算。科学。7，第4号，439--454（2013；Zbl 1319.68214） 全文： DOI程序
李晓亮;牟、陈琪;王东明 将多项式集分解为有限域上的简单集：零维情况。 （英语） Zbl 1207.13017号 计算。数学。申请。 60，第11期，2983-1997（2010）.MSC公司：13第05页 11吨99 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人，计算。数学。申请。60，第11号，2983--2997（2010；Zbl 1207.13017） 全文： DOI程序
侯晓荣;李洪波;王东明;杨璐 “俄罗斯杀手”2号：具有人和机器证明的具有挑战性的几何定理。 （英语） Zbl 1055.51502号 数学。智力。 23，第1期，9-15（2001）.MSC公司：51M99型 PDF格式BibTeX公司 XML格式引用 \textit{X.Hou}等人，数学。智力。23，第1号，第9--15号（2001；Zbl 1055.51502） 全文： DOI程序
王东明 GEOTHER：几何定理证明器。 （英语） Zbl 1412.68266号 McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 166-170 (1996).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang}，莱克特。注释计算。科学。1104166--170（1996年；Zbl 1412.68266） 全文： DOI程序
王东明 几何中机械定理证明的消除程序。 （英语） Zbl 0855.68090号 安。数学。工件。智力。 13，第1-2、1-24号（1995年）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang}，Ann.数学。工件。智力。13，第1-2,1-24号（1995年；Zbl 0855.68090） 全文： DOI程序
王东明 代数因式分解和几何定理证明。 （英语） Zbl 1433.68572号 阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。814, 386-400 (1994).MSC公司：68伏15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang}，莱克特。注释计算。科学。814386——400（1994年；Zbl 1433.68572） 全文： DOI程序
王东明 通过特征集和Gröbner基对代数簇进行不可约分解。 （英语） Zbl 0776.14014号 计算。辅助Geom。设计。 9，第6期，471-484（1992）. 审核人：A.Papantonopoulou（尤因镇） MSC公司：2010年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang}，计算。辅助Geom。设计。9，第6号，471--484（1992；Zbl 0776.14014） 全文： DOI程序
王东明 加快特征集计算的策略。 （英语） Zbl 1493.68405号 Havel，Ivan M.（编辑）等人，《1992年计算机科学的数学基础》。第17届国际研讨会，1992年8月24日至28日，捷克斯洛伐克布拉格。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。629, 504-510 (1992).MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang}，莱克特。注释计算。科学。629、504-510（1992年；Zbl 1493.68405） 全文： DOI程序
王东明 一类微分系统的机械操纵。 （英语） Zbl 0745.93067号 J.塞姆。计算。 12，第2期，233-254（1991年）.MSC公司：93天30分 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang}，J.Symb。计算。12，第2号，233--254（1991；Zbl 0745.93067） 全文： DOI程序