ZBMaCT中的参考文献(63篇文章中引用)

显示结果1至20的63。
按年份排序(引文
  1. 保尔森,Lawrence C.:计算逻辑:起源与应用(2018)
  2. 玖珂,Ke'ii;萩原,Maabu;山本,MuSuHuu:几何拓扑中Bing收缩方法的形式化(2016)
  3. 新井,Noriko H.;松崎,今间卓也;伊万奈,希达瑙;阿奈,Hirokazu:机器数学(2014)
  4. 阿诺德,安得烈;吉斯布雷希特,马克;罗氏,Daniel S.:通过统一的低阶根在有限域上的稀疏插值(2014)
  5. 阿诺德,安得烈;罗氏,Daniel S.:利用随机Kronecker替换的多元稀疏插值(2014)
  6. Carlos E.:计算参数化二阶线性微分方程的微分Galias群(2014)
  7. Markus,Jindal,Gorav:一种新的稀疏多元多项式插值的确定算法(2014)
  8. 博斯坦,Alin;卡鲁索,沙维尔;SHOST,EYRIC:一种计算(p)-曲率特征多项式的快速算法(2014)
  9. 博斯坦,Alin;COMBOT,蒂埃里;Safey El Din,莫哈布:计算平面参数齐次势的必要可积条件(2014)
  10. Bouzidi,Yacine;拉萨德,西尔文;莫罗兹,纪尧姆;PuGET,贾景晖;Rouier-法布里斯;改进的计算二元系统线性形式的改进算法(2014)
  11. 汉堡,莱因霍尔德:求解具有椭圆函数系数的高阶线性微分方程(2014)
  12. 陈,Changbo;MaZa,Marc Moreno:基于正则链的柱面代数分解消除量词(2014)
  13. 陈,Shaoshi;冯,Ruyong;李,Ziming;辛格,Michael F.:平行伸缩和参数化Picard Vessiot理论(2014)
  14. 陈,Shaoshi;考尔斯,曼努埃尔;Koutschan,克里斯托夫:广义Apagodu Zeilberger算法(2014)
  15. Caless,Robert M.;杰夫瑞,David J.;王,费:一些插值非线性递推关系的渐近分析(2014)
  16. De Feo,卢卡;Doliskani,Javad;SHOST,Eyric:有限域代数闭包的快速算法(2014)
  17. Diatta,Daouda Niang;Rouier-R,法布里斯;罗伊,玛丽弗兰:关于平面曲线拓扑的计算(2014)
  18. Diekert,Volker;KauCh,乔纳森:图积中的对数空间计算(2014)
  19. 杜马斯,Jean Guillaume;Kaltofen,埃里希:线性代数中最基本的交互式证书(2014)
  20. Emiris,Ioannis Z.;VIDunas,Rimunas:半混合系统的根计数,以及纳什平衡数的应用(2014)