GCL校准仪 swMATH ID: 6215 软件作者: Predrag Janicic;佩德罗·夸雷斯马 描述: GCL证明程序,一种自动定理证明程序(ATP) 主页: https://www.isuc.uc.pt/publication/show/1258网址 相关软件: GeoThms公司;GCLC公司;GeoGebra公司;GEX公司;TGTP公司;Intergeo公司;灰姑娘;地理1.1;日本国债交易所;地理证明;地理视图;Coq公司;克莱德思;MMP/几何仪;枣灰蝶属;OpenGeoProver(OpenGeoProvider);ArgoCLP公司;关贸总协定;电子几何教科书;gcl公司 引用于: 20文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 集成动态几何软件、演绎系统和定理库。 Zbl 1188.68264号佩德罗·夸雷斯马;贾尼契奇,普雷德拉格 2006 全部的 前5名17位作者引用 11 佩德罗·夸雷斯马 8 贾尼契奇,普雷德拉格 2 陈晓宇 2 韦斯纳·马林科维奇 2 朱利安·纳布克斯 1 努诺·贝塔 1 马丁·比利奇 1 杰恩·达维德·盖内沃 1 格拉齐亚尼,皮尔路易吉 1 亚尼斯·哈拉兰博斯 1 姜建国 1 Kovács,佐尔坦 1 姆拉丹·尼科利奇 1 帕斯卡·施雷克 1 米利卡·塞拉科维奇 1 王东明 1 张景忠 5篇连载文章中引用 三 自动推理杂志 三 计算机科学中的数学 2 系统科学与复杂性杂志 1 符号计算杂志 1 数学与人工智能年鉴 在4个字段中引用 19 计算机科学(68至XX) 9 几何图形(51至XX) 1 数学逻辑和基础(03-XX) 1 数学教育(97-XX) 按年份列出的引文