| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 如何将脚本语言转化为用于计算机代数的领域特定语言 | Raphael Jolly and Heinz Kredel | 0811.1061 | cs.SC | 2008-11-27 |
| 朝向对 LinBox C++ 线性代数库的图式建模 | Jean-Guillaume Dumas (LMC - IMAG), Dominique Duval (LMC - IMAG) | cs/0510057 | cs.SC | 2008-09-04 |
| 整数行列式的内省算法 | Jean-Guillaume Dumas (LJK), Anna Urbanska (LJK) | cs/0511066 | cs.SC | 2008-09-04 |
| 分析取决于两个参数的代数曲线家族中出现的拓扑类型 | Juan Gerardo Alcazar | 0801.1676 | cs.SC | 2008-09-02 |
| 使用浮点运算符对延迟有限域算术的形式证明 | Sylvie Boldo (INRIA Futurs), Marc Daumas (ELIAUS), Pascal Giorgi (LIRMM) | cs/0703026 | cs.SC | 2008-07-09 |
| Q-進制轉換再探 | Jean-Guillaume Dumas (LJK) | 0710.0510 | cs.SC | 2008-06-23 |
| 系统微分方程的幂级数解的快速计算 | Alin Bostan (INRIA Rocquencourt), Fr''ed''eric Chyzak (INRIA Rocquencourt), Franc{c}ois Ollivier (LIX), Bruno Salvy (INRIA Rocquencourt), ''Eric Schost (LIX), Alexandre Sedoglavic (LIFL) | cs/0604101 | cs.SC | 2008-05-05 |
| 线性递归的低复杂度算法 | Alin Bostan (INRIA Rocquencourt), Fr''ed''eric Chyzak (INRIA Rocquencourt), Bruno Salvy (INRIA Rocquencourt), Thomas Cluzeau (INRIA Sophia Antipolis) | cs/0605068 | cs.SC | 2008-04-03 |
| 线性偏微分方程系统范畴中的因子分解 | S.P. Tsarev | 0801.1341 | cs.SC | 2008-01-10 |
| FORM重要性：UNIX下的快速符号计算 | Michael M. Tung (Universidad Politecnica de Valencia) | cs/0409048 | cs.SC | 2007-11-01 |
| 基于Cartan等价方法的新ODE求解器探索 | R. Dridi and M. Petitot | cs/0702065 | cs.SC | 2007-08-01 |
| 通过修正其仿射扩展李对称，简化代数参数系统的翻译。 | Alexandre Sedoglavic (INRIA Futurs, LIFL) | cs/0612094 | cs.SC | 2007-06-13 |
| 启发式最大公约数算法的正确证明 | Bernard Parisse | cs/0206032 | cs.SC | 2007-05-23 |
| 正交RBF小波和岭波系列及变换在高维问题中的应用 | W. Chen | cs/0207006 | cs.SC | 2007-05-23 |
| Mathematica中的参数化类型定义：方法和优势 | Alina Andreica | cs/0208031 | cs.SC | 2007-05-23 |
| 方程组的尺寸缩减与部分解耦 | Thomas Wolf | cs/0301029 | cs.SC | 2007-05-23 |
| 稠密时间系统的TCTL必然性分析 | Farn Wang, Geng-Dian Hwang and Fang Yu | cs/0304003 | cs.SC | 2007-05-23 |
| 四元数多项式的准最优算术 | Martin Ziegler | cs/0304004 | cs.SC | 2007-05-23 |
| 格林定理的数字版本及其在形式验证中的覆盖问题的应用 | Eli Appleboim, Emil Saucan | cs/0309008 | cs.SC | 2007-05-23 |
| 在字长有限域上的高效点积 | Jean-Guillaume Dumas | cs/0404008 | cs.SC | 2007-05-23 |
| 符号代数的新方法 | Thomas Fischbacher | cs/0406002 | cs.SC | 2007-05-23 |
| 从张量方程到数值代码--用于数值相对论的计算机代数工具 | Christiane Lechner, Dana Alic, Sascha Husa | cs/0411063 | cs.SC | 2007-05-23 |
| 约旦正规形与有理正规形算法 | Bernard Parisse (IF), Morgane Vaughan (IF) | cs/0412005 | cs.SC | 2007-05-23 |
| GPL Maxima中的张量操作 | Viktor Toth | cs/0503073 | cs.SC | 2007-05-23 |
| 快速（多元）线性递归序列的评估：改进与应用 | Martin Ziegler | cs/0511033 | cs.SC | 2007-05-23 |