詹姆斯·哈罗德·达文波特（编辑）；特默尔库西亚（编辑） 前言：软件科学中的符号计算。 （英语） Zbl 1395.00038号 J.塞姆。计算。 90, 1-2 (2019). 摘自正文：《符号计算杂志》的这期特刊致力于分别于2014年12月7日至8日在突尼斯甘马思和2016年3月28日至31日在日本东京举行的第六届和第七届软件科学符号计算国际研讨会（SCSS）。论文征集也针对SCSS范围内的提交文件开放，但没有出现在SCSS 2014和SCSS 2016中。本期专题文章的主题涉及软件科学中符号计算的理论和实践方面，解决了算法合成、程序验证技术、系统分析、自动推理和形式化方面的问题。 MSC公司： 00B15号机组 杂项特定利益物品的收集 68-06 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 68瓦30 符号计算和代数计算 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}（编辑）和\textit{T.Kutsia}（主编），J.Symb。计算。90，1--2（2019；Zbl 1395.00038） 全文： 内政部