网络发现

一个基于Web的几何发现智能系统。描述了一个基于网络的开放式工具,用于基本欧几里德几何中的自动发现,即WebDebug。它是基于最近发现的几何中的自动发现。用户定义的几何构造被上传到Java Servlet服务器,其中两个计算机代数系统COCOA和Mathematica返回关于构建的发现的事实。WebDebug可以有效地用于数学教育、链接设计和测试以及计算机辅助几何设计。该系统可以在ROSALIIAUVIO.ES/SDGE/Web/2D上进行测试。