拉塞尔·布拉德福德;陈昌波;詹姆斯·H·达文波特。;英格兰,马修;马克·莫雷诺·马扎;大卫·威尔逊 正则链的真值表不变柱面代数分解。 (英语) Zbl 1350.68293号 Gerdt,Vladimir P.(编辑)等人,科学计算中的计算机代数。2014年9月8日至12日在波兰华沙举行的中国社会科学院2014年第16届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-10514-7/pbk)。计算机科学讲座笔记8660,44-58(2014)。MSC公司:68瓦30 第14页99 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人,Lect。票据计算。科学。8660,44-58(2014;Zbl 1350.68293) 全文: 内政部 arXiv公司
英格兰,马修;拉塞尔·布拉德福德;陈昌波;詹姆斯·H·达文波特。;马克·莫雷诺(Marc Moreno Maza);大卫·威尔逊 通过增量三角分解实现真稳定不变圆柱代数分解的问题公式。 (英语) Zbl 1304.68223号 Watt,Stephen M.(编辑)等人,《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-08433-6/pbk)。计算机科学课程讲稿8543。人工智能课堂讲稿,45-60(2014)。MSC公司:68瓦30 第14页 1999年第14季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}等人,Lect。票据计算。科学。8543,45-60(2014;Zbl 1304.68223) 全文: 内政部 arXiv公司
陈昌波;詹姆斯·H·达文波特。;马克·莫雷诺(Marc Moreno Maza);夏碧灿;肖荣 半代数集计算:松弛技术和有效边界。 (英语) Zbl 1277.13021号 J.塞姆。计算。 52, 72-96 (2013). 审核人:米歇拉·塞里亚(都灵) MSC公司:13个M10 13页第10页 13-04 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}等人,J.Symb。计算。52、72——96(2013年;Zbl 1277.13021) 全文: 内政部
陈昌波;詹姆斯·H·达文波特。;约翰·P·梅。;马克·莫雷诺·马扎;夏碧灿;肖荣 半代数系统的三角分解。 (英语) Zbl 1260.14070号 J.塞姆。计算。 49, 3-26 (2013). 审核人:卡洛斯·达安德里亚(巴塞罗那) MSC公司:第14页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}等人,J.Symb。计算。49、3--26(2013;Zbl 1260.14070) 全文: 内政部
陈昌波;詹姆斯·H·达文波特。;马克·莫雷诺·马扎;夏碧灿;肖荣 用三角分解表示的半代数集进行计算。 (英语) 兹比尔1323.14029 安东·莱金(编辑),第36届符号和代数计算国际研讨会论文集,ISSAC 2011,美国加利福尼亚州圣何塞,2011年6月7日至11日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0675-1)。75-82 (2011).MSC公司:第14页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}等人,摘自:第36届符号和代数计算国际研讨会论文集,ISSAC 2011,美国加利福尼亚州圣何塞,2011年6月7日至11日。纽约州纽约市:计算机协会(ACM)。75-82(2011年;Zbl 1323.14029) 全文: 内政部 链接
陈昌波;詹姆斯·H·达文波特。;弗朗索瓦·莱梅尔;马克·莫雷诺(Marc Moreno Maza);夏碧灿;肖荣;谢玉珍 使用Maple中的RegularChains库计算多项式系统的实解。 (英语) Zbl 1308.68164号 ACM通信。计算。代数 45,第4期,166-168(2011).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}等人,ACM Commun。计算。代数45,第3期,166--168(2011;Zbl 1308.68164) 全文: 内政部
陈昌波;詹姆斯·H·达文波特。;约翰·P·梅。;马克·莫雷诺(Marc Moreno Maza);夏碧灿;肖荣 半代数系统的三角分解。 (英语) Zbl 1321.68526号 Watt,Stephen M.(编辑),第35届符号和代数计算国际研讨会论文集,ISSAC 2010,德国慕尼黑,2010年7月25-28日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0150-3)。187-194年(2010年)。MSC公司:68瓦30 第14页 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}等人,摘自:第35届符号和代数计算国际研讨会论文集,ISSAC 2010,德国慕尼黑,2010年7月25-28日。纽约州纽约市:计算机协会(ACM)。187-194(2010年;Zbl 1321.68526) 全文: 内政部 arXiv公司