Loading AI tools
Found in articles
王东明 (数学家)
Computer Science主编、《中国科学：信息科学》（英文版）常务副主编、Journal of Symbolic Computation（英语：Journal of Symbolic Computation）等期刊编委。 广西日报. 记欧洲科学院院士、八桂学者王东明. 中国数字科技馆. [2021年10月1日]
整的科学计算，这见于公开密钥加密和一些非线性问题。 有些学者区分“计算机代数”（computer algebra）与“符号计算”（symbolic computation），后者指数学公式计算之外的符号计算。有人则用“符号计算”表示计算机科学方面的内容，而用“计算机代数”表示数学方面的内容。
符号执行
意义”的执行分支进行符号执行测试来提高对大型程序应用符号执行测试的可行性。 符号模拟技术（symbolic simulation）则把类似的思想用于电路分析；符号计算（Symbolic computation）则用于数学表达式分析。 符号执行引擎是符号执行技术的实现产物，可以用于对程序进行符号执行
頭等物件
Strachey—Understanding Programming Languages", Higher-Order and Symbolic Computation 13:52 (2000) Harold Abelson; Gerald Jay Sussman. 章节1.3.4 脚注64. Structure
语法糖
1965-03. Landin, P. J. Getting rid of labels. Higher-Order and Symbolic Computation. 2009-12, 22 (4): 315–329. ISSN 1388-3690. doi:10.1007/s10990-010-9057-5