加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
CFLOBDDs:上下文无关语言有序二进制决策图 Meghana Sistla, Swarat Chaudhuri, Thomas Reps 2211.06818 cs.SC 2023-04-18
递归矩阵算法的超级计算机环境 Gennadi Malaschonok and Alla Sidko 2303.11017 cs.SC 2023-03-21
缺陷矩阵集的距离评估 Alexei Yu. Uteshev, Elizaveta A. Kalinina, Marina V. Goncharova 2303.07235 cs.SC 2023-03-14
R中的约旦代数 Robin K. S. Hankin 2303.06062 cs.SC 2023-03-13
使用晶体上同调计算有限Drinfeld模的自同态的特征多项式 Yossef Musleh, ''Eric Schost 2302.08611 cs.SC 2023-02-20
有限域上的消元理想与双变量结果 Gilles Villard 2302.08891 cs.SC 2023-02-20
量词消除的多算法方法 James H. Davenport and Zak P. Tonks and Ali K. Uncu 2302.06814 cs.SC 2023-02-15
拉扎德风格的计算机辅助设计与等式约束 James H. Davenport and Akshar S. Nair and Gregory K. Sankaran and Ali K.Uncu 2302.05813 cs.SC 2023-02-14
具有浮点系数的多项式的快速计算和求根 R''emi Imbach (GAMBLE ), Guillaume Moroz (GAMBLE ) 2302.06244 cs.SC 2023-02-14
D-有限函数的超越证书 Manuel Kauers, Christoph Koutschan, Thibaut Verron 2302.06396 cs.SC 2023-02-14
具有准可分矩阵的精确计算 Cl''ement Pernet (CASC), Hippolyte Signargout (CASC, ARIC), Gilles Villard (ARIC) 2302.04515 cs.SC 2023-02-10
通过积分基对D-有限函数进行Hermite约化 Shaoshi Chen, Lixin Du and Manuel Kauers 2302.04652 cs.SC 2023-02-10
优化的$RPiSigma$扩展中的望远镜算法以降低分母的次数 Carsten Schneider 2302.03563 cs.SC 2023-02-08
Pourchet定理在实际中的应用:将一元非负多项式分解为五个平方和 Victor Magron and Przemys{l}aw Koprowski and Tristan Vaccon 2302.02202 cs.SC 2023-02-07
分离混合三角多项式的有界和无界实根 Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao and Tao Zheng 2301.05847 cs.SC 2023-01-18
R中的量子代数:Weyl包 Robin K. S. Hankin 2212.09230 cs.SC 2022-12-20
R中的自由群 Robin K. S. Hankin 2212.05883 cs.SC 2022-12-13
矩阵乘法的翻转图 Manuel Kauers and Jakob Moosbauer 2212.01175 cs.SC 2022-12-05
SC-Square:2021年概述 Matthew England 2209.04359 cs.SC 2022-11-30
在R中的自由代数 Robin K. S. Hankin 2211.04002 cs.SC 2022-11-09
R中的Clifford代数 Robin K. S. Hankin 2209.13659 cs.SC 2022-11-08
斯托克斯定理在 R 中 Robin K. S. Hankin 2210.17008 cs.SC 2022-11-01
数学科学中的数字示例集合 James Harold Davenport 2107.12908 cs.SC 2022-10-31
R中的快速多元多项式:mvp包 Robin K. S. Hankin 2210.15991 cs.SC 2022-10-31
R中的稀疏数组:spray软件包 Robin K. S. Hankin 2210.10848 cs.SC 2022-10-21