乔丹

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