智能教育软件《数学实验室之一——立体几何》

摘要

有了自动推理功能的教育软件会是什么样子？本文主要介绍智能教育软件《数学实验室之一--立体几何》的总体设计思想，系统结构和功能等。