| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 零维多项式系统实根隔离的通用基于位置的方法 | Jin-San Cheng and Kai Jin | 1312.0462 | cs.SC | 2013-12-03 |
| 一个计算$Q$上Groebner基的概率和确定性模块化算法 | Bernard Parisse (IF) | 1309.4044 | cs.SC | 2013-11-19 |
| 使用矩形分割评估参数全纯序列 | Fredrik Johansson | 1310.3741 | cs.SC | 2013-10-15 |
| 关于关联和交换一致化的参数复杂性 | Tatsuya Akutsu, Takeyuki Tamura, Atsuhiro Takasu | 1310.0919 | cs.SC | 2013-10-04 |
| 符号积分系统导论 | Weiguang Mao | 1309.6655 | cs.SC | 2013-09-27 |
| 一个计算半代数集实维度的概率算法 | Mohab Safey El Din (LIP6, INRIA Paris-Rocquencourt), Elias Tsigaridas (LIP6, INRIA Paris-Rocquencourt) | 1304.1928 | cs.SC | 2013-09-20 |
| 使用三角分解和实数解分类来计算半代数经济的均衡 | Xiaoliang Li and Dongming Wang | 1308.5029 | cs.SC | 2013-08-26 |
| 基于签名的格罗布纳基算法——扩展MMM算法用于计算格罗布纳基 | Yao Sun | 1308.2371 | cs.SC | 2013-08-13 |
| 快速多项式求值与合成 | Guillaume Moroz (INRIA Nancy - Grand Est / LORIA) | 1307.5655 | cs.SC | 2013-07-29 |
| 计算辅助证明某些分数阶贝塞尔函数恒等式 | Stefan Gerhold, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, Burkhard Zimmermann | 1305.4818 | cs.SC | 2013-07-22 |
| 创造性调度用于全纳函数 | Christoph Koutschan | 1307.4554 | cs.SC | 2013-07-18 |
| 快速线性代数求解多项式系统 | Jean-Charles Faug`ere (INRIA Paris-Rocquencourt, LIP6), Pierrick Gaudry (INRIA Nancy - Grand Est / LORIA), Louise Huot (INRIA Paris-Rocquencourt, LIP6), Gu''ena"el Renault (INRIA Paris-Rocquencourt, LIP6) | 1304.6039 | cs.SC | 2013-07-16 |
| 圆柱代数分解问题形式的优化 | Russell Bradford and James H. Davenport and Matthew England and David Wilson | 1304.7222 | cs.SC | 2013-07-10 |
| 布尔组合的圆柱代数分解 | Russell Bradford, James H. Davenport, Matthew England, Scott McCallum and David Wilson | 1304.7603 | cs.SC | 2013-07-10 |
| 代数变换步骤相关性评估软件 | Rein Prank | 1306.6749 | cs.SC | 2013-07-01 |
| P-递归序列的有效界限 | Marc Mezzarobba and Bruno Salvy | 0904.2452 | cs.SC | 2013-06-19 |
| 非完整约束系统方法研究特殊函数恒等式 | Fr\'ed\'eric Chyzak (INRIA Rocquencourt), Manuel Kauers, Bruno Salvy (INRIA Rocquencourt) | 0904.2761 | cs.SC | 2013-06-19 |
| 线性微分方程解的切比雪夫展开 | Alexandre Benoit (INRIA Rocquencourt), Bruno Salvy (INRIA Rocquencourt) | 0906.2888 | cs.SC | 2013-06-19 |
| Chebyshev样多项式的生成函数 | Alin Bostan (INRIA Rocquencourt), Bruno Salvy (INRIA Rocquencourt), Khang Tran | 0907.0291 | cs.SC | 2013-06-19 |
| 关于Kahan确定分支切割规则的研究 | Fr''ed''eric Chyzak (INRIA Rocquencourt), James Davenport, Christoph Koutschan (RISC), Bruno Salvy (INRIA Rocquencourt) | 1109.2809 | cs.SC | 2013-06-19 |
| 奇异(q)-微分方程的幂级数解 | Alin Bostan and Muhammad F. I. Chowdhury and Romain Lebreton and Bruno Salvy and ''Eric Schost | 1205.3414 | cs.SC | 2013-06-19 |
| 通过MAPLE决定多项式的非负性 | Lu Yang and Bican Xia | 1306.4059 | cs.SC | 2013-06-19 |
| 在枫软件中利用问题形式化、方程约束和真值表不变性的CAD实现 | Matthew England | 1306.3062 | cs.SC | 2013-06-14 |
| 有限域上的计算线性代数 | Jean-Guillaume Dumas (LJK), Cl''ement Pernet (INRIA Grenoble Rh^one-Alpes / LIG Laboratoire d'Informatique de Grenoble) | 1204.3735 | cs.SC | 2013-05-21 |
| 关于计算拟齐次系统的格罗布纳基底的复杂性 | Jean-Charles Faug`ere (INRIA Paris-Rocquencourt, LIP6), Mohab Safey El Din (INRIA Paris-Rocquencourt, LIP6), Thibaut Verron (INRIA Paris-Rocquencourt, LIP6) | 1301.5612 | cs.SC | 2013-05-07 |