Wolfram 语言平面几何的符号表达及最新功能

张晓凡 (Wolfram|Alpha 开发)

本次演讲将介绍在 Wolfram 语言中，平面几何的符号表达形式，展示 GeometricScene 及 RandomInstance 的最新功能及应用实例，简述在 Wolfram Function Repository 中使用交互界面构建 GeometricScene 的功能 GeometricSceneConstructor，以及介绍 Computable Euclid 网站的最新进展。