符号计算杂志,第102卷
第102卷,2021年1月
曼努埃尔·考尔斯 , 阿列克谢·奥夫钦尼科夫 , 埃里克·肖斯特 :
前言。 1-2 迪帕克·卡普尔 , 东路 , 迈克尔·莫纳根 , 姚阳 , 王定康 :
计算参数多元多项式最大公约数的算法。 3-20 克里斯蒂安·埃德尔 , 格哈德·普菲斯特 , 阿德里安·波佩斯库 :
欧几里得域上的标准基。 21-36 何塞·戈梅斯·托雷西拉斯 , 弗朗西斯科·哈维尔·洛比略 , 加布里埃尔·纳瓦罗 :
幂等卷积码的循环距离。 37至62 伯纳德·穆兰 , 西蒙·泰伦 , 马克·范·巴雷尔 :
解多项式系统的截断正规形式:广义有效算法。 第63页至第85页 穆雷·A·巴卡图 , 马克西米利安·亚罗斯切克 :
消除线性差分系统的表观奇点。 86-107 陈其谋 , 杨白 , 赖嘉华 :
自顶向下风格的三角分解弦图。 108-131 特里斯坦·瓦肯 , 蒂鲍特·韦伦 , 横山和弘 :
仿射热带F5算法。 132-152 柯蒂斯·布莱特 , 伊利亚斯·科齐里亚斯 , 阿尔伯特·海因尔 , 维杰·加内什 :
复杂的Golay对长达28:通过计算机代数和编程SAT进行搜索。 153-172 亚历山大·莱文 :
非自反素微分理想的二元Kolchin型维数多项式。 一个翻译的例子。 173-188 埃文格洛斯·巴佐斯 , Ioannis Z.埃米利斯 , 简·勒格斯克(Jan Legersk) , Elias P.Tsigaridas公司 :
关于R2,R3和R3中最小刚性图的最大实嵌入数 S公司 2 . 189-208 约翰内斯·霍夫曼 , 维克托·列万多夫斯基 :
具有足够交换性的Ore本地化中的构造算法。 209-230 穆雷·A·巴卡图 , Joelle Saadé , 雅克·亚瑟·韦尔 :
使用特征环对奇异线性微分系统进行形式化约简:一种改进的方法。 231-258 穆罕默德·萨弗里·埃尔丁 , 杨志宏 , 李洪志 :
计算实根和 S公司 -多项式系统的根。 259-278 约翰·罗森基尔德 , 阿恩·斯托约翰恩 :
同时Hermite-Padé逼近的算法。 279-303 马克·吉斯布雷希特 , 约瑟夫·哈拉尔德森 , 乔治·拉巴恩 :
计算附近的非平凡Smith表单。 304-327