第四届软件科学符号计算国际研讨会论文集
符号计算
2013-07-31 v1 计算机科学中的逻辑
摘要
符号计算是利用符号对象（项、公式、程序、代数对象、几何对象等）进行计算的科学。过去几十年中开发了强大的符号算法，并在定理证明、自动推理、软件验证、模型检测、重写、数学形式化、网络安全、Gröbner 基、特征集等方面发挥了重要作用。“软件科学符号计算”国际研讨会是 SCSS 研讨会系列的第四届。SCSS 2008 和 2010 在奥地利 Hagenberg 的符号计算研究所 (RISC) 举行，而 SCSS 2009 在突尼斯 Gammarth 举行。这些研讨会源于内部研讨会，汇集了来自以下机构的研究人员：a) 日本筑波大学的 SCORE（符号计算研究组），b) 奥地利林茨约翰内斯·开普勒大学符号计算研究所的 Theorema 组，c) 日本京都大学的 SSFG（软件科学基础组），以及 d) 突尼斯迦太基大学的 Sup'Com（突尼斯高等通信学院）。
引用
@article{arxiv.1307.8029,
title = {Proceedings Fourth International Symposium on Symbolic Computation in Software Science},
author = {Adel Bouhoula and Tetsuo Ida and Fairouz Kamareddine},
journal= {arXiv preprint arXiv:1307.8029},
year = {2013}
}