| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 零维多项式系统的无平方强三角分解 | Haokun Li, Bican Xia and Tianqi Zhao | 2202.06044 | cs.SC | 2022-02-15 |
| 基于稀疏回归的一元表达式符号数值积分 | Shahriar Iravanian, Carl Julius Martensen, Alessandro Cheli, Shashi Gowda, Anand Jain, Yingbo Ma, Chris Rackauckas | 2201.12468 | cs.SC | 2022-02-08 |
| 多项式最大公约数的简单算法 | Pasquale Nardone and Giorgio Sonnino | 2201.06940 | cs.SC | 2022-01-19 |
| DEWCAD 项目：突破圆柱代数分解的双指数壁 | R. Bradford, J.H. Davenport, M. England, A. Sadeghimanesh, A.Uncu | 2106.08740 | cs.SC | 2022-01-14 |
| 自动发现角定理的方法 | Philip Todd (Saltire Software, Portland, OR, USA) | 2201.00543 | cs.SC | 2022-01-04 |
| 关于序列关系的结构理想的猜测格罗布纳基 | J''er''emy Berthomieu (PolSys), Mohab Safey El Din (PolSys) | 2009.05248 | cs.SC | 2021-11-19 |
| 检测由"Don't Care Transitions"触发的硬件木马的符号化方法 | Ruochen Dai and Tuba Yavuz | 2111.03989 | cs.SC | 2021-11-09 |
| 关于零维基数理想的词典格罗布纳基：插值与结构 | Xavier Dahan | 1207.3887 | cs.SC | 2021-09-30 |
| 关于精确的Reznick、Hilbert-Artin和Putinar表示 | Victor Magron and Mohab Safey El Din | 1811.10062 | cs.SC | 2021-09-07 |
| 验证一个概率并行模块化算法用于有理数一元表示 | Bernard Parisse (IF) | 2106.10912 | cs.SC | 2021-09-01 |
| Julia中的计算机代数 | Dmitry S. Kulyabov and Anna V. Korolkova | 2108.12301 | cs.SC | 2021-08-30 |
| ATLAS：交互式和教育性质的线性代数系统，包含非标准方法 | Akhilesh Pai and James Harold Davenport | 2107.13942 | cs.SC | 2021-07-30 |
| 多重求和上的创造性望远镜 | Christoph Koutschan, Elaine Wong | 2010.08889 | cs.SC | 2021-07-27 |
| 关于稀疏多项式的精确除法和可整除性测试 | Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray | 2102.04826 | cs.SC | 2021-07-21 |
| 基于多项式除法的线性递推关系计算算法 | J''er''emy Berthomieu (PolSys), Jean-Charles Faug`ere (PolSys) | 2107.02582 | cs.SC | 2021-07-07 |
| 关于代数常微分方程形式幂级数解的存在性和唯一性 | Sebastian Falkensteiner, Yi Zhang, Thieu N. Vo | 1803.09646 | cs.SC | 2021-07-05 |
| 多项式求根的根半径和细分 | R''emi Imbach and Victor Y. Pan | 2102.10821 | cs.SC | 2021-07-05 |
| Maple中的多元幂级数 | Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza and Erik Postma | 2106.15519 | cs.SC | 2021-06-30 |
| 计算实代数集的维数 | Piere Lairez, Mohab Safey El Din | 2105.10255 | cs.SC | 2021-06-15 |
| 线性递归截断多项式序列的算法 | Seung Gyu Hyun, Vincent Neiger, ''Eric Schost | 2102.03583 | cs.SC | 2021-06-10 |
| msolve：一个解决多项式系统的库 | J''er''emy Berthomieu (PolSys), Christian Eder, Mohab Safey El Din (PolSys) | 2104.03572 | cs.SC | 2021-05-20 |
| D+ 判别式与根聚类的复杂性 | Jing Yang and Chee K. Yap | 2105.03856 | cs.SC | 2021-05-20 |
| 基于签名的Tate代数上的Gröbner基算法 | Xavier Caruso (LFANT), Tristan Vaccon (XLIM-MATHIS), Thibaut Verron (JKU) | 2002.04491 | cs.SC | 2021-05-11 |
| 符号求和的项代数、规范表示和差分环理论 | Carsten Schneider | 2102.01471 | cs.SC | 2021-05-04 |
| 稀疏差分结果的新界和高效算法 | Chun-Ming Yuan, Zhi-Yong Zhang | 1810.00057 | cs.SC | 2021-04-21 |