网络发现

基于web的几何发现智能系统。描述了一个开放的基于web的基本欧几里德几何自动发现工具webDiscovery。它是基于最近在几何自动发现的发现。用户定义的几何结构被上传到javaservlet服务器,两个计算机代数系统CoCoA和Mathematica将返回所发现的关于构造的事实。webDiscovery可以有效地应用于数学教学、联动设计与测试以及计算机辅助几何设计。该系统可在rosalia.uvigo.es/sdge/web/2D进行测试。