×

地理视图

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文件

按年份列出的引文