网络发现 swMATH ID: 10153 软件作者: 弗朗西斯科·博塔纳 描述: 基于web的几何发现智能系统。描述了一种用于在基本欧几里德几何中自动发现的开放式网络工具webDiscovery。它基于几何自动发现的最新发现。用户定义的几何构造被上传到Java Servlet服务器,在该服务器上,两个计算机代数系统CoCoA和Mathematica返回发现的有关构造的事实。webDiscovery可以有效地用于数学教育、连杆设计和测试以及计算机辅助几何设计。该系统可以在rosalia.uvigo.es/sdge/web/2D进行测试。 主页: http://link.springer.com/chapter/10.1007/3-540-44860-8_83 相关软件: 可可;卢加雷斯;灰姑娘;GEX公司;几何画板;数学软件;GeoThms公司;GeoGebra公司;地理1.1;小伙子;TGTP公司;Python语言;马特普洛特利布;JSXGraph(JSX图形);MMP/几何仪;TeX公司;乳胶;日本国债交易所;地理视图;gcl公司 引用于: 7文件 全部的 前5名11位作者引用 4 弗朗西斯科·博塔纳 1 米盖尔·安杰尔·阿巴纳德斯(Miguel Angel Abánades) 1 陈晓宇 1 杰苏斯·埃斯克里巴诺 1 Michael Gerhäuser先生 1 贾尼契奇,普雷德拉格 1 托马斯·雷西奥 1 丹·宋 1 JoséL.Valcarce。 1 王东明 1 阿尔弗雷德·瓦瑟曼 引用于3个系列 1 模拟中的数学和计算机 1 自动推理杂志 1 数学与人工智能年鉴 在4个字段中引用 7 计算机科学(68至XX) 三 几何图形(51至XX) 1 交换代数(13-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文