地理视图 swMATH ID: 12328 软件作者: 贝托特,Y.、吉利霍特,F.、波蒂埃,L。 描述: GeoView是一种将Coq定理证明器与CNAM开发的动态几何绘图工具GeoplanJ相结合的工具。GeoView是用户界面Pcoq的扩展,致力于平面几何定理的形式化陈述的可视化。构造了几何定理的表述及其证明,并用Coq定理证明器进行了验证。动态图形自动与数学公式关联,以显示这些语句的含义。使用GeoView生成的图形可以使用GeoplanJ小程序集成为HTML文件中的交互式动态图形。 主页: https://www-sop.inria.fr/leme/geoview/geoview.html 相关软件: GeoThms公司;GCLC公司;MMP/几何仪;GEX公司;GCL校准仪;地理证明;GeoGebra公司;灰姑娘;地理1.1;日本国债交易所;Coq公司;克莱德思;Xeukleides公司;枣灰蝶属;巴赫拉;三峡工程;Intergeo公司;CHYPRE公司;几何(Geometrix);gcl公司 引用于: 9文件 全部的 前5名11位作者引用 5 贾尼契奇,普雷德拉格 5 佩德罗·夸雷斯马 1 伊夫·贝托特 1 弗朗西斯科·博塔纳 1 马库斯·霍恩瓦特 1 佐尔坦科瓦奇 1 朱利安·纳布克斯 1 伊万·彼得罗维奇 1 范、团明 1 雷西奥,托马斯 1 西蒙·魏茨霍弗 2篇连载文章中引用 3 自动推理杂志 1 计算机科学中的数学 在3个字段中引用 9 计算机科学(68至XX) 3 几何图形(51至XX) 2 数学教育(97-XX) 按年份列出的引文