×

找到7个文档(结果1-7)

符号计算方法。 (英语) Zbl 1515.68382号

Fleuriot,Jacques(编辑)等人,《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11110, 19-33 (2018).
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多项式系统需要是双指数的吗? (英语) Zbl 1434.68702号

Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11-14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9725, 157-164 (2016).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份