计算机科学中的数学，第13卷
第13卷，编号1-2，2019年6月
米歇尔·博丁 , 蒂埃里·达纳·皮卡德 , 亚历山大·莱文 , 克里斯托夫·库彻恩 , 伊利亚斯·科齐里亚斯 , 丹尼尔·罗伯茨 :
前言。 1-3 尤雷尔·本杰明 , 唐娜·沃克 , 亚历克桑德·米拉里 , 塔蒂亚娜·米拉里 :
论两两分离法在天文学中的适用性：数据中噪声的影响。 5-10个 塞尔吉奥·布兰科·特雷霍 
, 克劳迪奥·阿莱曼·莫里洛 , 费尔南多·迪亚斯·德尔·雷奥 , 佩德罗·雷亚尔 :
二维二值数字图像的分形拓扑分析。 11-20 内洛·布拉瑟 , 莫滕·布伦 :
分割封面。 21-29 杰里·布莱泽克 , 帕维尔·佩奇 :
动态几何环境中的轨迹计算。 31-40 尤妮斯·Y.S.Chan , 罗伯特·M·科尔利斯 :
欧几里得多项式的最小高度伴随矩阵。 41-56 蒂埃里·达纳·皮卡德 :
常规三叶草的自动化研究。 57-67 玛丽亚娜·杜切娃 :
如何使用CAS（Maple）帮助学生学习数论。 69-78 藤崎良彦 , 伊瓦内 , 佐藤义介 :
关于多元厄米特二次型。 79-93 罗曼·哈塞克 :
以计算机代数系统作为证明工具补充的动态几何软件。 95-104 米哈伊尔·卡根 , 布莱恩·马塔 :
关于图的电阻距离的物理学观点。 105-115 阿维·卡森蒂 , 雅科夫·曼德尔鲍姆 :
纳米技术中的计算机代数挑战：使用有限元方法精确建模纳米级电光器件。 117-130 佐尔坦·科瓦奇 :
动态几何中自动轨迹和包络动画的成就和挑战。 131-141 Ryszard Kozera公司 , 马格达莱娜·威尔科拉兹卡 :
一种改进的指数参数化Hermite插值方法。 143-155 亚历山大·莱文 :
带加权基本算子的微分-微分域扩张的二元维拟多项式。 157-168 图菲克·曼苏尔 , 马蒂亚斯·肖克 :
排列模式和单元分解。 169-183 Katsusuke Nabeshima公司 , 田岛信一 :
利用综合Gröbner系统求解参数理想隶属度问题和计算收敛幂级数环中的整数。 185-194 亚伦·E·奈曼 :
微积分的自动函数分析。 195-204年 Katsuyoshi Ohara公司 , 田岛信一 :
计算Grothendieck局部剩余的算法I：形状基情形。 205-216 里贾娜·奥沃登科 , 安纳托利·库罗帕托夫 :
在高级微积分学习中使用数字工具面对错误：拐点案例。 217-236 弗拉迪米拉·彼得拉斯科娃 , Premysl Rosa公司 :
Maple云计算在职前教师财务教育中的应用。 237-245 亚历山大·普罗科彭亚 :
阿特伍德的三自由度机器建模。 247-257 菲利普·斯洛博茨基 , 亚历山大·奥切里托维 , 尤金·罗伊斯 , 安纳托利·什塔克曼 :
使用通用数学环境Math-XPress进行数学课程的教学和评估。 259至272 田岛信一 , Katsusuke Nabeshima公司 :
计算局部欧拉障碍物的Lé-Teissier方法的实现。 273-280 Setsuo Takato公司 , 何塞·A·瓦列霍 :
哈密顿动力学系统：符号、数值和图形研究。 281-295 Wlodzimierz沃哈斯 , 扬·克鲁帕 :
用计算机代数系统教学生非线性规划。 297-309 大卫·G·泽图恩 , 蒂埃里·达纳·皮卡德 :
关于两个实变量函数的三维绘图中不同坐标系的使用。 311-327
第13卷第3期，2019年9月
何塞·路易斯·加兰·加西亚 , 加布里埃尔·阿奎莱拉·维内加斯 , 玛丽亚·安吉莱斯·加兰·加西亚 :
前言。 329-331 尤金·奥·列别捷夫 , 汉娜·V·利文斯卡 :
输入流受Semi-Markov过程控制的多通道排队网络。 333-340 埃琳娜·科尔维 , 梅尔文·罗赫里格·泽尔纳 :
直升机仿真中指数1 DAE的半显式指数Runge-Kutta方法。 341-365 马丁·西格尔 , 扬·克莱因茨 , 托比亚斯·斯托伦沃尔克 , Reinhold Maierl公司 :
TiGL：参数化飞机设计的开源计算几何库。 367-389 雷蒙多·华雷斯-德尔托罗 , J.G.卡斯特雷洪-洛扎诺 , C.A.戈梅兹群岛 , S.López-Chavarría :
智能控制在经济动态系统中的应用：吸引不变椭球方法。 391-401 何塞·阿尔弗雷多·桑切斯·德·莱昂 :
通过求和序列计算二项式和多项式系数。 403-415 尤金尼奥·罗内斯·洛萨诺 , 何塞·路易斯·加兰·加西亚 , 卡门·索拉诺·马西亚斯 :
关于计算机代数系统DERIVE的成功和影响的一些思考，以10年的时间为视角。 417-431 梅利克·艾多安 , F.Müge Sakar先生 :
关于通过有界边界旋转的复阶凸函数。 433-439 F.Müge Sakar先生 , 梅利克·艾多安 :
用Faber多项式展开法研究一类新的双叶函数子类的初始系数的界。 441-447 尤金尼奥·罗内斯·洛萨诺 , 鲁宾·冈萨雷斯-马汀 , 哈维尔·蒙特罗 :
直流铁路电气化验证的代数方法。 449-457
第13卷第4期，2019年12月
詹姆斯·达文波特 , 劳拉·科瓦奇 , 丹妮拉·扎哈里 :
前言。 459-460 黄宗岩 , 马修·英格兰 , 大卫·J·威尔逊 , 詹姆斯·布里奇 , 詹姆斯·达文波特 , 劳伦斯·保尔森 :
使用机器学习改进柱面代数分解。 461-488 斯特凡·安德烈 , 阿尔伯特·M·K·程 , 弗拉德·拉杜列斯库 :
一种高效非预测任务调度算法的处理器边界。 489-515 丹尼尔·利奇布劳 :
近似多项式GCD的近似合成。 517-532 Marijn J.H.鞋垫 :
图问题的最优对称破缺。 533-548
