| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 多项式矩阵运算的亚线性通信验证协议 | David Lucas, Vincent Neiger, Cl''ement Pernet, Daniel S. Roche, Johan Rosenkilde | 1807.01272 | cs.SC | 2019-12-12 |
| 稀疏矩阵的最小多项式和行列式的线性时间交互证书 | Jean-Guillaume Dumas (LJK), Erich Kaltofen (NCSU), Emmanuel Thom''e (CARAMBA), Gilles Villard (ARIC, LIP) | 1602.00810 | cs.SC | 2019-12-03 |
| 张量微积分简化黑塞和高阶导数的链式规则 | Maciej Skorski | 1911.13292 | cs.SC | 2019-12-02 |
| 一些生物网络的多个稳定状态的参数发生识别 | R. Bradford, J.H. Davenport, M. England, H. Errami, V. Gerdt, D. Grigoriev, C. Hoyt, M. Kosta, O. Radulescu, T. Sturm, and A. Weber | 1902.04882 | cs.SC | 2019-11-25 |
| 线性微分方程组的无根分裂引理 | Eckhard Pfl"ugel | 1911.05837 | cs.SC | 2019-11-15 |
| 单嵌套乘积的最简表示和代数关系 | Carsten Schneider | 1911.04837 | cs.SC | 2019-11-13 |
| 解析布尔多项式系统的特征集方法的效率 | Zhenyu Huang, Yao Sun, Dongdai Lin | 1405.4596 | cs.SC | 2019-11-12 |
| 三角等价与秩分布的证书 | Jean-Guillaume Dumas (CASYS), David Lucas (CASYS), Cl''ement Pernet (CASYS) | 1702.03755 | cs.SC | 2019-10-28 |
| 时间和空间高效的准可分离矩阵生成器 | Clement Pernet (ARIC), Arne Storjohann | 1701.00396 | cs.SC | 2019-10-22 |
| 基于消元的三角等价和秩剖面证书 | Jean-Guillaume Dumas (CASC), Erich Kaltofen (NCSU), David Lucas (CASC), Cl''ement Pernet (CASC) | 1909.05692 | cs.SC | 2019-09-13 |
| 将论文标题翻译为中文："分解二元形式的近乎最优算法" | Mat''ias Bender (PolSys), Jean-Charles Faug`ere (PolSys), Ludovic Perret (PolSys), Elias Tsigaridas (PolSys) | 1810.12588 | cs.SC | 2019-09-12 |
| 计算附近非平凡史密斯标准型 | Mark Giesbrecht, Joseph Haraldson, and George Labahn | 1812.04590 | cs.SC | 2019-09-10 |
| 带有约简机的格罗布纳基 | Georgiana c{S}urlea (Department of Computer Science, West University. Timic{s}oara, Romania), Adrian Cru{a}ciun (Department of Computer Science, West University. Timic{s}oara, Romania) | 1909.01746 | cs.SC | 2019-09-05 |
| 计算有限秩二的Drinfeld模块的特征多项式 | Yossef Musleh, ''Eric Schost | 1907.12731 | cs.SC | 2019-07-31 |
| 解析函数涉及的方程组的近似解的有效认证 | Michael Burr, Kisun Lee, Anton Leykin | 1901.10384 | cs.SC | 2019-07-22 |
| Cadabra计算机代数系统第二版的新特性 | D. S. Kulyabov, A. V. Korolkova, and L. A. Sevastianov | 1906.02599 | cs.SC | 2019-06-07 |
| 概率可解循环的基于矩的不变量的自动生成 | Ezio Bartocci and Laura Kov''acs and Miroslav Stankoviv{c} | 1905.02835 | cs.SC | 2019-05-30 |
| 一类多元多项式矩阵的因式分解 | Dong Lu, Dingkang Wang, Fanghui Xiao | 1905.11872 | cs.SC | 2019-05-29 |
| 基于签名的算法用于计算主理想域上的Gröbner基。 | Maria Francis and Thibaut Verron | 1802.01388 | cs.SC | 2019-05-28 |
| 三阶矩阵相乘的新方法 | Marijn J.H. Heule, Manuel Kauers, Martina Seidl | 1905.10192 | cs.SC | 2019-05-27 |
| 简单形状中的孤立点 | Maximilian Jaroschek, Manuel Kauers, Laura Kovacs | 1905.08747 | cs.SC | 2019-05-22 |
| Fourier-Motzkin消元的复杂性估计 | Rui-Juan Jing, Marc Moreno-Maza, Delaram Talaashrafi | 1811.01510 | cs.SC | 2019-05-14 |
| 高效单变量多项式矩阵算法的实现及其在双变量结果式中的应用 | Seung Gyu Hyun, Vincent Neiger, ''Eric Schost | 1905.04356 | cs.SC | 2019-05-14 |
| 单变量和双变量中m-主理想的基变换 | Seung Gyu Hyun, Stephen Melczer, ''Eric Schost and Catherine St-Pierre | 1905.04614 | cs.SC | 2019-05-14 |
| 非线性微分系统的极限周期的算法方法：平均方法的重新审视 | Bo Huang and Chee Yap | 1905.03315 | cs.SC | 2019-05-10 |