弗朗西斯科·博塔纳 基于web的几何发现智能系统。 （英语） Zbl 1033.68596号 Peter M.A.Sloot（编辑）等人，《计算科学–ICCS 2003》。国际会议，澳大利亚墨尔本和俄罗斯圣彼得堡，2003年6月2-4日。《会议记录》，第一部分，柏林：施普林格出版社（ISBN 3-540-40194-6/pbk）。莱克特。注释计算。科学。2657, 801-810 (2003). 摘要：描述了一个用于在基本欧几里德几何中自动发现的开放式网络工具webDiscovery。它基于最近在几何自动发现方面的发现。用户定义的几何构造被上传到Java Servlet服务器，在那里，两个计算机代数系统CoCoA和Mathematica返回发现的关于构造的事实。webDiscovery可以有效地用于数学教育、连杆设计和测试以及计算机辅助几何设计。该系统可以在rosalia.uvigo.es/sdge/web/2D进行测试。关于整个系列，请参见[1020.00019兹罗提]. 引用于3文件 MSC公司： 68T05型 人工智能中的学习和自适应系统 68瓦30 符号计算和代数计算 51N20号 欧几里德解析几何 软件：灰姑娘;可可;数学软件;卢加雷斯;网络发现 PDF格式BibTeX公司 XML格式引用 \textit{F.Botana}，莱克特。注释计算。科学。2657801--810（2003年；Zbl 1033.68596） 全文： 链接