×

地理证明

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公司;TGTP公司;Intergeo公司;枣灰蝶属;OpenGeoProver(OpenGeoProvider);关贸总协定;电子几何教科书;ArgoCLP公司;几何画板
引用于: 17文件

按年份列出的引文