2002 年，Chung 教授开始研发基于 Mathematica 符号计算引擎的增强工具包 MathSymbolica。该工具包通过适配 Wolfram 语言的灵活性，既支持结构化教学流程，又兼顾传统数学输入习惯。其内置独立解释语言、完整交互式文档及专用面板功能，已被众多秉持相同理念的教育工作者和研究人员采用。
最新版 MathSymbolica 在 Wolfram 语言数千个原生函数基础上，新增 1,200 余个专用函数，覆盖从基础代数到复杂变量变换、符号微分等高级课题的符号数学领域。
MathSymbolica 基于三大核心设计理念：
1.延迟求值机制 —— 表达式可保持符号形式定义而不立即计算。这种表示与执行的分离，使用户能聚焦于问题的数学本质，深化对数学原理的理解。
2.函数顺序执行 —— 支持分步应用函数功能，教师可依教学需求逐步演示解题过程。
3.传统数学记号 —— 采用贴近手写数学的表达形式，增强代码可读性，有效弥合传统数学记号与计算机数学的鸿沟。
从根本上说，正是 Wolfram 语言自诞生以来所具有的符号特性与卓越可扩展性，为 MathSymbolica 提供了理想的发展土壤。核心功能的便捷扩展能力与必要的自定义自由度，使 Chung 教授得以打造出既技术精湛又贴合教学需求的专业工具。
如今，Chung 教授将 Wolfram 技术全面融入科研与教学的各个环节 —— 从使用 Mathematica 创建演示文稿与交互式课程材料，到指导学生进行工程定律的符号建模。MathSymbolica 在此环境中无缝集成，通过扩展 Mathematica 的分步教学功能，为学生提供连贯的计算机数学端到端体验。
“在符号计算领域，考虑到基础架构与扩展性，我们别无选择——唯有 Mathematica 能够胜任。”
——Youngjoo Chung 教授
光州科学技术院
