数学语言[glossary-math]

  • Formula（φ:）：从数学文本读出Semantic值的入口。
  • Semantic（◆:）：可计算的数学对象，核心计算API的输入。
  • Notation（◇:）：描述排版结构的构造器，生成MathML。
  • term：Semantic值的内部结构，供关系与规则处理；来源和显示偏好保存在旁侧metadata中。
  • pass：计算的单个阶段；报告记录各pass的名称与规则路径。
  • report（报告）：多阶段计算的结果、完成状态与derivation。
  • derivation（推导）：可逐步重放的规则步骤；math-verify-derivation独立验证它。
  • 核心API：math-calculate、math-simplify、math-differentiate等接收Semantic值并返回可读取的报告；assumptions声明事实，coordinate声明坐标。