| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 计算谱序列 | A. Romero, J. Rubio, F. Sergeraert | cs/0602064 | cs.SC | 2007-05-23 |
| 解决稀疏整数线性系统 | Wayne Eberly, Mark Giesbrecht (SCG), Pascal Giorgi (LP2A, SCG), Arne Storjohann (SCG), Gilles Villard (LIP) | cs/0603082 | cs.SC | 2007-05-23 |
| SAT技术在词典路径序中的应用 | Harald Zankl | cs/0605021 | cs.SC | 2007-05-23 |
| 参数多项式方程和不等式的解决复杂性 | Guillaume Moroz (LIP6, INRIA Rocquencourt) | cs/0606031 | cs.SC | 2007-05-23 |
| 强双齐次B''{e}zout定理及其在有效实代数几何中的应用 | Mohab Safey El Din (INRIA Rocquencourt), Philippe Trebuchet (INRIA Rocquencourt) | cs/0610051 | cs.SC | 2007-05-23 |
| Groebner基应用于线性差分方程组 | V. P. Gerdt | cs/0611041 | cs.SC | 2007-05-23 |
| 对称子结果及其应用 | Cyril Brunie (LACO), Philippe Saux Picart (LM) | cs/0612119 | cs.SC | 2007-05-23 |