加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
解决参数多项式系统的注记 Asieh Pourhaghani 1105.4682 cs.SC 2015-03-19
通过计算样本点的消失理想生成循环不变量 Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng 1111.0732 cs.SC 2015-03-19
广义最小秩问题的复杂性研究 Jean-Charles Faug`ere and Mohab Safey El Din and Pierre-Jean Spaenlehauer 1112.4411 cs.SC 2015-03-19
差分多项式系统的三角分解算法及其基本计算复杂度 Wei Zhu and Xiao-Shan Gao 1503.04380 cs.SC 2015-03-17
矩阵多项式的Smith标准形的局部构造 Jon Wilkening and Jia Yu 0809.2978 cs.SC 2015-03-13
检测稀疏完全幂并计算它们的根 Mark Giesbrecht and Daniel S. Roche 0901.1848 cs.SC 2015-03-13
Hrushovski算法用于计算线性微分方程的Galois群 Ruyong Feng 1312.5029 cs.SC 2015-03-10
线性差分方程的伽罗华群计算 Ruyong Feng 1503.02239 cs.SC 2015-03-10
布尔环中的格罗布纳基不是多项式空间 Mark van Hoeij 1502.07220 cs.SC 2015-02-27
利用维度上的单元分布进行圆柱代数分解 David Wilson, Matthew England, Russell Bradford and James H. Davenport 1409.1781 cs.SC 2015-02-13
三种启发式方法在CAD中选择变量顺序的比较 Zongyan Huang, Matthew England, David Wilson, James H. Davenport and Lawrence C. Paulson 1405.6082 cs.SC 2015-02-12
线性汉克尔矩阵中等级缺陷的实根求解 Didier Henrion (LAAS), Simone Naldi (LAAS), Mohab Safey El Din (Syst`emes Polynomiaux, LIP6) 1502.02473 cs.SC 2015-02-10
符号求和的差分环理论 Carsten Schneider 1408.2776 cs.SC 2015-02-04
连续结果投影用于圆柱代数分解 Yong Yao, Jia Xu, Lu Yang 1412.4861 cs.SC 2014-12-17
连续分段多项式函数的标准形式 Jorge Caravantes, M. Angeles Gomez-Molleda, Laureano Gonzalez-Vega 1411.6919 cs.SC 2014-11-26
基于单项式的用于计算 Gr"obner 基的 GVW 算法 Yao Sun, Dingkang Wang, Zhenyu Huang, Dongdai Lin 1410.0105 cs.SC 2014-10-02
多项式矩阵行列式的快速确定性计算 Wei Zhou and George Labahn 1409.5462 cs.SC 2014-09-22
使用正则链库通过投影和提升构建圆柱代数分解 Matthew England, David Wilson, Russell Bradford and James H. Davenport 1405.6090 cs.SC 2014-08-28
通过增量三角分解选择真值表不变圆柱代数分解的变量排序 Matthew England, Russell Bradford, James H. Davenport and David Wilson 1405.6094 cs.SC 2014-08-28
带有方程约束的多项式方程的求解:零维情况 Ye Liang 1408.3639 cs.SC 2014-08-19
广义Apagodu-Zeilberger算法 Shaoshi Chen, Manuel Kauers, Christoph Koutschan 1402.2409 cs.SC 2014-08-05
F5 Gröbner基算法的复杂性 Magali Bardet, Jean-Charles Faug`ere, Bruno Salvy 1312.1655 cs.SC 2014-07-18
真值表不变圆代数分解的问题形式化:通过增量三角分解 Matthew England, Russell Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza and David Wilson 1404.6371 cs.SC 2014-07-15
稀疏 Gröbner 基:非混合情况 Jean-Charles Faugere (INRIA Paris-Rocquencourt), Pierre-Jean Spaenlehauer (INRIA Nancy - Grand Est / LORIA), Jules Svartz (INRIA Paris-Rocquencourt) 1402.7205 cs.SC 2014-06-26
实数代数几何问题的表述 Matthew England 1405.3461 cs.SC 2014-06-26