专题 Mathematica 内部信息
1.12.1 为什么用户通常不需要知道内部信息 1.12.2 基本的内部结构 1.12.3 Mathematica的算法 1.12.4 Mathematica的软件引擎 1.12.5 检验和证明