计算机代数中的ACM通信,第53卷
第53卷第1期,2019年3月
奥丽 , 罗伯特·M·科尔利斯 :
重温吉尔伯特·斯特朗的“混沌搜索 我 ". 1-22 谢尔盖·阿布拉莫夫 , 穆雷·A·巴卡图 :
标量运算符矩阵的行约简过程:存储行转换的中间结果。 23-30
第53卷第2期,2019年6月
鄯善瑶 , 冯一飞 , 贾晓红 , 李勇深 :
岳仁传播的ISSAC 2019软件演示:一个用于计算有理曲线和曲面隐式方程的软件包。 33-36 Hoon Hong公司 , 阿列克谢·奥夫钦尼科夫 , 格勒布·波古丁 , 芝麻 :
SIAN:一种用于评估参数常微分方程结构可识别性的工具。 37-40 罗宾·拉里厄 :
用Mathemagix计算一般二元Gröbner基。 41-44 Kisun Lee先生 :
证明Macaulay2上多项式系统的近似解。 45-48 克莱门斯·霍夫斯塔勒 , 克莱门斯·拉布 , 乔治·雷根斯堡 :
通过非交换Gröbner基证明算子身份。 49-52 安东尼奥·希门尼斯牧师 :
DD-finite函数的sage实现。 53-56 曼努埃尔·考尔斯 , 马克·梅扎罗巴 :
SageMath中的多元ore多项式。 57-60 朱利安·库瓦斯·罗佐 , 何塞·迪瓦森 , 米盖尔·安杰尔·马可·布祖纳里兹 , 席酿酒师安娜罗美欧 :
SageMath中用于代数拓扑计算的Kenzo接口。 61-64 谢尔盖·阿布拉莫夫 , 安娜·A·里亚本科 , 列奥尼德·塞瓦西亚诺夫 , 吴敏(音) , Yvette Zonn公司 :
莫斯科“计算机代数”会议。 65-77
第53卷第3期,2019年9月
坂田康介 :
基于签名的算法计算Gröbner基的有效约简策略。 81-92 沙耶·阿尔多萨里 , 马克·范·霍伊 :
简化微分方程的方法。 93-95 陈少时 , Jing Guo公司 :
加法Ore-Sato定理。 96-98 伯明驰(Boming Chi) , 阿基拉·特瑞 :
采用Bézout矩阵的GPGCD算法。 99-102 罗伯特·M·科尔利斯 , 雷利·拉菲·塞维埃里 :
伯恩斯坦基础上的近似GCD。 103-106 马武尼奥·科菲·达基·梅萨 , 普尔泽米斯劳·科普洛夫斯基(Przemyslaw Koprowski) :
Dedekind域中理想的内因式分解。 107-109 郝都 , Jing Guo公司 , 李子明 :
多重对数扩展中的加法分解。 110-113 杰西·埃利奥特 , 埃里克·肖斯特 :
光滑紧致实超曲面中临界点计算的位复杂性。 114-117 Marijn鞋跟 , 曼努埃尔·考尔斯 , 玛蒂娜·塞德尔 :
3×3矩阵乘以23次系数乘法的一组方案。 118-121 黄波(Bo Huang) , 魏牛 :
用代数方法研究回跳排斥器诱导的混沌。 122-125 曼努埃尔·考尔斯 , 蒂鲍特·韦伦 :
为什么在猜测之前应该从数据中删除零。 126-129 Kazuki Kondo公司 , Sekigawa广岛 :
多元多项式稀疏插值的稳健计算方法。 130-133 姜柳 :
Riemann张量多项式单项规范化的块距离不变量方法。 134-137 阿克沙尔·奈尔 , 詹姆斯·达文波特 , 格雷戈里·桑卡兰 , 斯科特·麦卡勒姆 :
Lazard的CAD利用等式约束。 138-141 加勒特·帕卢克 , 迈克尔·莫纳根 :
一种新的二元Hensel提升算法 n个 因素。 142-145 Patricia Pascual-Ortigosa公司 , 爱德华多·萨恩斯·德卡贝松(Eduardo Sáenz-de-Cabezón) , 亨利·P·韦恩 :
多状态可靠性分析的代数算法 k个 -出局,出局- n个 系统。 146-149 一周 , 马克·范·霍伊 :
分解差分算子的快速算法。 150-152
第53卷第4期,2019年12月
-
吴文荪学术思想与数学机械化国际研讨会。 155-181 尤尔根·格哈德 , 伊利亚斯·科齐里亚斯 :
2019年枫叶大会。 182 -
计算机代数近期博士论文摘要。 183-188 Ioannis Z.埃米利斯 :
GRAPES的15个博士职位:学习、加工和优化形状。 189