实代数和实几何推理的图形探索平台

直观的图形常常为我们带来数学结构的鲜活图景和直接洞察，并为实际的计算提供快速有效的途径，可是图形没有作为严格的科学语言出现在科学中，实代数和实几何问题是实践中常遇到的问题，本项目试图把图形纳入数学的符号宝库中，直接用图形展示数学推理本身，建立一个在线的、交互式的基于图形的实代数和实几何的数学推理软件系统，即图形探索平台。