| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 有效符号执行的路径条件抽象化 | Marek Trt''ik | 1112.4703 | cs.SC | 2011-12-21 |
| 多项式的快速除法算法的牛顿迭代研究 | Zhengjun Cao and Hanyue Cao | 1112.4014 | cs.SC | 2011-12-20 |
| 特征多项式和极小多项式的系数界限 | Jean-Guillaume Dumas (LJK) | cs/0610136 | cs.SC | 2011-11-10 |
| 三变量维度为零理想中的词典格罗布纳基结构 | X. Dahan | 1110.3185 | cs.SC | 2011-10-17 |
| 计算零维三角集的复杂性 | Adrien Poteaux, ''Eric Schost | 1109.4323 | cs.SC | 2011-09-21 |
| 通过基于签名的Gröbner基算法解决多项式环的可分离性问题 | Yao Sun, Dingkang Wang | 1108.1301 | cs.SC | 2011-08-08 |
| 多项式协议下的共识 | Joel George Manathara and Ambedkar Dukkipati and Debasish Ghose | 1107.3584 | cs.SC | 2011-07-20 |
| 基于签名算法计算Gr"obner基的广义准则 | Yao Sun, Dingkang Wang | 1106.4918 | cs.SC | 2011-06-27 |
| 使用连分数改进实根隔离的复杂度界限 | Elias Tsigaridas | 1010.2006 | cs.SC | 2011-06-08 |
| 改进的连分数在实根隔离中的复杂性界限 | Elias Tsigaridas | 1010.1764 | cs.SC | 2011-04-27 |
| 关于签名相关格罗布纳基础算法的广义判据 | Yao Sun and Dingkang Wang | 1101.3382 | cs.SC | 2011-02-22 |
| 两个多项式的保重重三角集分解 | Jin-San Cheng and Xiao-Shan Gao | 1101.3603 | cs.SC | 2011-01-20 |
| 多项式系统奇异零点的通缩和认证隔离 | Angelos Mantzaflaris (INRIA Sophia Antipolis), Bernard Mourrain (INRIA Sophia Antipolis) | 1101.3140 | cs.SC | 2011-01-18 |
| 多元线性差分方程的精细分母约束算法 | Manuel Kauers and Carsten Schneider | 1101.2803 | cs.SC | 2011-01-17 |
| 布赫伯格风格中的F5算法 | Yao Sun and Dingkang Wang | 1006.5299 | cs.SC | 2010-12-30 |
| 计算与平滑 Fano 多面体相关的积分的微分方程 | Hiromasa Nakayama, Nobuki Takayama | 1012.5353 | cs.SC | 2010-12-27 |
| 有效的Galois理论：辅助记忆 | Annick Valibouze (LSTA, LIP6) | 1012.3442 | cs.SC | 2010-12-16 |
| 正维度三角集的比特大小估计 | Xavier Dahan, Abdulilah Kadri, ''Eric Schost | 1008.3459 | cs.SC | 2010-11-24 |
| 多项式系统实根的连分数展开 | Angelos Mantzaflaris (INRIA Sophia Antipolis), Bernard Mourrain (INRIA Sophia Antipolis), Elias P. P. Tsigaridas (INRIA Sophia Antipolis) | 0905.3993 | cs.SC | 2010-11-12 |
| 代数扩张域上多项式因式分解的高效算法 | Yao Sun and Dingkang Wang | 0907.2300 | cs.SC | 2010-10-04 |
| DMM界限：多元（聚合）分离界限 | Ioannis Z. Emiris (DI), Bernard Mourrain (INRIA Sophia Antipolis), Elias Tsigaridas | 1005.5610 | cs.SC | 2010-07-26 |
| 从有理数域上的矩阵解释到自然数域上的矩阵解释 | Salvador Lucas | 1007.0143 | cs.SC | 2010-07-02 |
| F5（类似F5）算法正确性的新证明 | Yao Sun and Dingkang Wang | 1004.0084 | cs.SC | 2010-07-01 |
| NumGfun：一个用于D-有限函数的数值和解析计算的软件包 | Marc Mezzarobba (INRIA Rocquencourt) | 1002.3077 | cs.SC | 2010-06-01 |
| 随机多项式与二分法求解实数问题的预期复杂度 | Ioannis Z. Emiris (DI), Andr\'e Galligo (JAD), Elias Tsigaridas (DI) | 1005.2001 | cs.SC | 2010-06-01 |