×

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

证明算法的执行正确吗? (英语) Zbl 07810736号

Dubois,Catherine(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101, 255-269 (2023).
MSC公司:68伏xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于复杂度分析选择圆柱代数分解变量排序的新启发式算法。 (英语) Zbl 1514.68323号

Boulier,François(编辑)等人,《科学计算中的计算机代数》。第24届国际研讨会,2022年8月22日至26日,土耳其格布泽,CASC 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13366, 300-317 (2022).
PDF格式BibTeX公司 XML格式引用

柱代数分解相对于多项式次数的复杂性。 (英语) Zbl 1453.13079号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9890, 172-192 (2016).
PDF格式BibTeX公司 XML格式引用

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

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

筛选结果依据…

文档类型

全部的 前5名

出版年份