×

找到31个文档（结果1-31）

最新的 引文 关联
陈日曾;夏碧灿

确定涉及一元混合三角多项式的一阶公式。 （英语） 兹伯利077600757

Dickenstein，Alicia（编辑）等人，第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆索，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。145-154 (2023).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{R.Chen}和\textit{B.Xia}，《第48届符号和代数计算国际研讨会论文集》，ISSAC，挪威特罗姆瑟，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。145--154（2023年；Zbl 07760757）
全文： 内政部
王，于;吴文元;夏碧灿

实际根的同伦路径跟踪提前结束。 （英语） Zbl 07704991号

Fleuriot，Jacques（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11110, 181-194 (2018).
MSC公司：65H20个
PDF格式BibTeX公司 XML格式引用
\textit{Y.Wang}等人，Lect。注释计算。科学。11110181--194（2018；Zbl 07704991）
全文： 内政部
甘婷;戴丽云;夏碧灿;詹乃军;迪帕克·卡普尔;陈明帅

二次多项式不等式的插值综合及与EUF的结合。 （英语） Zbl 1475.03072号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 195-212 (2016).
MSC公司：03B35型 03C40号 60年第68季度 90C22型
PDF格式BibTeX公司 XML格式引用
\textit{T.Gan}等人，Lect。注释计算。科学。9706195--212（2016；Zbl 1475.03072）
全文： 内政部 arXiv公司
沈飞;吴文元;夏碧灿

基于混合计算的多项式方程实根隔离。 （英语） Zbl 1336.65080号

冯汝勇（编辑）等，《计算机数学》。第九届亚洲研讨会，ASCM 2009，日本福冈，2009年12月14日至17日，第十届亚洲研讨会，ASCM 2012，中国北京，2012年10月26日至28日。发表论文并邀请演讲。柏林：施普林格出版社（ISBN 978-3-662-43798-8/hbk；978-3-762-43799-5/电子书）。375-396 (2014).
MSC公司：65小时04 65H10型 65H20个 65G30型
PDF格式BibTeX公司 XML格式引用
\textit{F.Shen}等人，《计算机数学》。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：斯普林格。375--396（2014；Zbl 1336.65080）
全文： 内政部 arXiv公司
韩景军;戴丽云;夏碧灿

在CAD投影中通过GCD计算构造较少的开放单元。 （英语） Zbl 1325.68286号

Nabeshima，Katsusuke（编辑），第39届符号和代数计算国际研讨会论文集，ISSAC 2014，日本神户，2014年7月23日至25日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2501-1）。240-247 (2014).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit｛J.Han｝等人，发表于：第39届符号和代数计算国际研讨会论文集，ISSAC 2014，日本神户，2014年7月23日至25日。纽约州纽约市：计算机协会（ACM）。240-247（2014；Zbl 1325.68286）
全文： 内政部 arXiv公司
陈昌波;詹姆斯·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公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件