GeoThms公司 swMATH ID: 6216 软件作者: 佩德罗·夸雷斯马;Predrag Janičić公司 描述: GeoThms——欧几里得构造几何的网络系统GeoThms是一个基于网络的框架,用于探索几何知识,它集成了动态几何软件(DGS)、自动定理证明程序(ATP)以及几何构造、图形和证明库。GeoThms用户可以轻松使用/浏览现有几何内容并构建新内容。在本文中,我们描述了GeoThms的功能,重点介绍了通过互联网支持几何学习和教学的系统所需的接口解决方案。GeoThms是一个可公开访问的系统,有越来越多的几何结构和正式证明的几何定理。我们相信,在所有用户的帮助下,它将成为几何学的重要互联网资源。 主页: http://hilbert.mat.uc.pt/~地峡/ 关键词: 证明系统的web接口;几何定理的自动证明;动态几何软件 相关软件: GCL校准仪;GCLC公司;GeoGebra公司;GEX公司;地理1.1;地理证明;三峡工程;Intergeo公司;日本国债交易所;灰姑娘;Coq公司;地理视图;MMP/几何仪;OpenGeoProver(OpenGeoProvider);枣灰蝶属;WinGCLC公司;gcl公司;克莱德思;ArgoCLP公司;关贸总协定 引用于: 26文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 集成动态几何软件、演绎系统和定理库。 Zbl 1188.68264号佩德罗·夸雷斯马;贾尼契奇,普雷德拉格 2006 全部的 前5名被28位作者引用 11 佩德罗·夸雷斯马 9 贾尼契奇,普雷德拉格 4 陈晓宇 三 Kovács,佐尔坦 三 王东明 2 韦斯纳·马林科维奇 2 朱利安·纳布克斯 1 努诺·贝塔 1 伊夫·贝托特 1 马丁·比利奇 1 乔纳森·迈克尔·博文 1 弗朗西斯科·博塔纳 1 杰恩·达维德·盖内沃 1 格拉齐亚尼,皮尔路易吉 1 亚尼斯·哈拉兰博斯 1 马库斯·霍恩瓦特 1 姜建国 1 姆拉丹·尼科利奇 1 伊万·彼得罗维奇 1 范、团明 1 托马斯·雷西奥 1 尤格尼奥·罗查。 1 罗德里格斯,何塞·弗朗西斯科 1 帕斯卡·施雷克 1 米利卡·塞拉科维奇 1 丹·宋 1 西蒙·魏茨霍弗 1 张景忠 全部的 前5名6篇连载文章中引用 4 自动推理杂志 三 计算机科学中的数学 2 数学与人工智能年鉴 2 系统科学与复杂性杂志 1 符号计算杂志 1 科学问题。捷克斯洛伐克的Jan Długosz大学。数学 全部的 前5名在6个字段中引用 25 计算机科学(68至XX) 9 几何图形(51至XX) 4 数学教育(97-XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文