地理证明 swMATH ID: 5737 软件作者: 朱利安·纳布克斯;尼古拉·弗朗索瓦 描述: 该程序是一个交互式几何软件,具有证明相关功能。该项目包括制作一个交互式几何证明软件。GeoProof可以与Coq证明助手进行通信,以执行几何定理的自动交互式证明。 主页: https://rd.springer.com/article/10.1007%2Fs10817-007-9071-4 编程语言: OCaml公司 关键词: 科学/工程;数学;教育 相关软件: GEX公司;GeoThms公司;Coq公司;日本国债交易所;GCLC公司;GeoGebra公司;GCL校准仪;地理1.1;灰姑娘;地理视图;MMP/几何仪;gcl公司;三峡工程;Intergeo公司;枣灰蝶属;OpenGeoProver(OpenGeoProvider);关贸总协定;电子几何教科书;ArgoCLP公司;几何画板 引用于: 17文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 用于几何形式证明的图形用户界面。 Zbl 1131.68094号朱利安·纳布克斯 2007 全部的 前5名24位作者引用 5 佩德罗·夸雷斯马 4 朱利安·纳布克斯 三 贾尼契奇,普雷德拉格 2 艾达、铁雄 2 佐尔坦科瓦奇 1 努诺·贝塔 1 伊夫·贝托特 1 博塔纳,弗朗西斯科 1 陈晓宇 1 Génevaux,让-大卫 1 法杜阿·古拉比 1 格拉齐亚尼,皮耶路易吉 1 马库斯·霍恩瓦特 1 姜建国 1 Cezary卡利西克 1 卡塞姆,阿塞姆 1 米罗斯拉夫·奥沙克 1 伊万·彼得罗维奇 1 范、团明 1 托马斯·雷西奥 1 万达桑托斯 1 帕斯卡·施雷克 1 西蒙·魏茨霍弗 1 张景忠 4篇连载文章中引用 4 自动推理杂志 2 计算机科学中的数学 1 符号计算杂志 1 系统科学与复杂性杂志 在4个字段中引用 17 计算机科学(68至XX) 7 几何图形(51至XX) 三 数学逻辑和基础(03-XX) 三 数学教育(97-XX) 按年份列出的引文