zbMATH参考文献(参考 63篇文章 参考)

显示第1到第20个结果,共63个。
按年份排序(引用)
  1. 《计算逻辑与应用》,劳伦斯·C
  2. Kuga,Ken'ichi;Hagiwara,Manabu;Yamamoto,Mitsuharu:几何拓扑中Bing收缩方法的形式化(2016)
  3. Arai,Noriko H.;Matsuzaki,Takuya;Iwane,Hidenao;Anai,Hirokazu:机器数学(2014)
  4. Arnold,Andrew;Giesbrecht,Mark;Roche,Daniel S.:有限域上通过低阶统一根的稀疏插值(2014)
  5. Arnold,Andrew;Roche,Daniel S.:使用随机Kronecker替换的多元稀疏插值(2014)
  6. Arreche,Carlos E.:计算参数化二阶线性微分方程的微分Galois群(2014)
  7. Bläser,Markus;Jindal,Gorav:稀疏多元多项式插值的新确定性算法(2014)
  8. Bostan,Alin;Caruso,Xavier;Schost,çric:计算(p)-曲率特征多项式的快速算法(2014)
  9. Bostan,Alin;Combot,Thierry;Safey El-Din,Mohab:计算平面参数化齐次势的必要可积条件(2014)
  10. Bouzidi,Yacine;Lazard,Sylvain;Moroz,Guillaume;Pouget,Marc;Rouillier,Fabrice:计算二元系统分离线性形式的改进算法(2014)
  11. Burger,Reinhold:求解具有椭圆函数系数的高阶线性微分方程(2014)
  12. 陈昌波;马扎,马克·莫雷诺:基于正则链的圆柱代数分解量词消去(2014)
  13. 陈绍史;冯汝勇;李子明;辛格,迈克尔F.:平行伸缩和参数化皮卡德-维希奥理论(2014)
  14. Chen,Shaoshi;Kauers,Manuel;Koutschan,Christoph:广义Apagodu-Zeilberger算法(2014)
  15. Corless,Robert M.;Jeffrey,David J.;Wang,Fei:一些插值非线性递归关系的渐近分析(2014)
  16. De Feo,Luca;Doliskani,Javad;Schost,çric:有限域代数闭包的快速算法(2014)
  17. Diatta,Daouda Niang;Rouillier,Fabrice;Roy,Marie Françoise:关于平面曲线拓扑的计算(2014)
  18. Diekert,Volker;Kausch,Jonathan:图产品中的日志空间计算(2014)
  19. Dumas,Jean Guillaume;Kaltofen,Erich:线性代数中的本质最优交互证书(2014)
  20. Emiris,Ioannis Z.;Vidunas,Raimundas:半混合系统的根计数,以及计算纳什均衡的应用(2014)