| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 具有指数对数系数的多项式方程的渐近解 | Adam Strzebo''nski | 1904.06796 | cs.SC | 2019-04-16 |
| 在规范形式下快速计算近似基础 | Claude-Pierre Jeannerod, Vincent Neiger, Gilles Villard | 1801.04553 | cs.SC | 2019-04-09 |
| 热带微分格罗布纳基础 | Youren Hu and Xiao-Shan Gao | 1904.02275 | cs.SC | 2019-04-05 |
| 在一个点上测试变量的零维特性 | Katsusuke Nabeshima and Shinichi Tajima | 1903.12365 | cs.SC | 2019-04-01 |
| 开放式弱CAD及其应用 | Jingjun Han, Liyun Dai, Hoon Hong, Bican Xia | 1507.03834 | cs.SC | 2019-03-28 |
| 关于一些不可约多项式的类别 | Jaime Gutierrez and Jorge Jimenez Urroz | 1903.08441 | cs.SC | 2019-03-21 |
| 正规基的二次概率算法 | Mark Giesbrecht, Armin Jamshidpey, ''Eric Schost | 1903.03278 | cs.SC | 2019-03-11 |
| 半群代数上的Gröbner基：稀疏多项式系统的算法与应用 | Mat''ias Bender (PolSys), Jean-Charles Faug`ere (PolSys), Elias Tsigaridas (PolSys) | 1902.00208 | cs.SC | 2019-02-04 |
| 基于签名的 M"oller 算法在 PIDs 上求解强 Gr"obner 基。 | Maria Francis and Thibaut Verron | 1901.09586 | cs.SC | 2019-01-29 |
| 稀疏-FGLM算法中的块-Krylov技术 | Seung Gyu Hyun, Vincent Neiger, Hamid Rahkooy, Eric Schost | 1712.04177 | cs.SC | 2019-01-16 |
| 验证非线性算术电路的谱方法 | Cunxi Yu and Tiankai Su and Atif Yasin and Maciej Ciesielski | 1901.02950 | cs.SC | 2019-01-11 |
| 通过快速矩阵乘法进行快速矩阵求逆 | Zak Tonks | 1901.00904 | cs.SC | 2019-01-07 |
| 一种用于验证多项式系统孤立奇异零点的新泄气方法 | Jin-San Cheng, Xiaojie Dou, Junyi Wen | 1812.11534 | cs.SC | 2019-01-01 |
| 不可约多项式的幂上的gcd链的计算 | Xavier Dahan | 1810.09056 | cs.SC | 2018-12-31 |
| 三角分解中的和弦图：自顶向下风格 | Chenqi Mou, Yang Bai, Jiahua Lai | 1811.11023 | cs.SC | 2018-11-28 |
| 线性微分方程作为数据结构 | Bruno Salvy | 1811.08616 | cs.SC | 2018-11-22 |
| 解决一阶自治代数常微分方程的位置法 | Sebastian Falkensteiner, J. Rafael Sendra | 1803.04731 | cs.SC | 2018-11-15 |
| 偶数三元形式在正交群下的有理不变量 | Paul G"orlach, Evelyne Hubert, Th''eo Papadopoulo | 1707.09979 | cs.SC | 2018-11-14 |
| 将F"urer算法与BPAS库结合实践 | Sviatoslav Covanov, Davood Mohajerani, Marc Moreno-Maza, Lin-Xiao Wang | 1811.01490 | cs.SC | 2018-11-06 |
| 机器学习用于数学软件 | M. England | 1806.10920 | cs.SC | 2018-11-01 |
| 从经济学的自动推理中得出的非线性实数算术基准 | C. Mulligan, R. Bradford, J.H. Davenport, M.England and Z. Tonks | 1806.11447 | cs.SC | 2018-11-01 |
| Aligator.jl - 一个用于循环不变式生成的Julia软件包 | Andreas Humenberger and Maximilian Jaroschek and Laura Kov''acs | 1808.05394 | cs.SC | 2018-08-17 |
| 稀疏黑箱多变量多项式的确定性插值：使用克罗内克类型代换 | Qiao-Long Huang and Xiao-Shan Gao | 1710.01301 | cs.SC | 2018-08-09 |
| 稀疏多项式的应用与限制 | Daniel S. Roche | 1807.08289 | cs.SC | 2018-07-24 |
| 关于Gröbner基础计算的鲁棒困难性 | Gwen Spencer and David Rolnick | 1511.06436 | cs.SC | 2018-07-18 |