GCLC

我们提出GCLC/WIGCLC——一种用于可视化几何(而不仅仅是几何)对象和概念的工具,用于教学/学习数学,以及用于制作高质量的数学插图。GCLC使用语言GC来表示图形,并以文本形式存储视觉性质的数学内容。在GCLC,有一个内置的几何定理证明器,直接链接视觉和语义几何信息与演绎性质和机器生成的证据。


ZBMaX中的参考文献(29篇)1标准条款

显示结果1至20的29。
按年份排序(引文
  1. Quaresma,佩德罗;桑托斯,Vanda;Graziani,皮埃尔路易吉;Baeta,Nuno:几何问题分类(2020)
  2. MeliCa,Malkovii,VESNA;Jai-i i,Prdult:动态几何中的新动力学:拖动构造点(2020)
  3. Boutry,彼埃尔;布劳恩,加布里埃尔;Naboux,朱利安:欧几里德平面几何算术化的形式化及其应用(2019)
  4. 尼科利,Mladen;马林科维奇,维斯纳;科瓦卡斯,佐尔塔恩;詹尼亚斯,PrdRoad:组合定理证明和证明器运行时几何预测(2019)
  5. 斯塔亚诺维奇-乌尔埃维,Sana:从非正式到正式证明在Euclidean几何(2019)
  6. Barthel,托拜厄斯(ED);克劳斯,Henning(ED);Stayjaska,VESNA(ED):微型研讨会:同伦理论和表示理论中的色度现象和对偶性。3月4日举行的小型研讨会摘要(10, 2018)(2018)
  7. 邓罕,Graham(ED);Gaiffi,乔凡尼(ED);J·MIENZ罗兰,丽塔(ED);Suiuu,Alexander I.(Ed):排列拓扑和表示稳定性。1月14日举行的研讨会摘要(20, 2018)(2018)
  8. 费拉根,Aasa(ED);霍茨,托马斯(ED);Hukkman,Stephan(ED);Miller,以斯拉(ED):具有几何结构的数据统计。1月21日举行的研讨会摘要(27, 2018)(2018)
  9. Breuillard,艾曼纽(ED);霍克曼,米迦勒(ED);Shmerkin,巴勃罗(ED):工作会议:加性组合数学,熵,和分形几何。10月8日举行的工作会议摘要(13, 2017)(2017)
  10. Quaresma,佩德罗:走向智能与动态几何书(2017)
  11. Schreck,Pascal;马林科维奇,VESNA;Jai-i ii,PrdGrace:三角定位问题的可构造类(2016)
  12. 弗朗西斯科,Hohenwarter,Markus;贾尼亚依,普拉托,科瓦卡斯,佐尔坦,彼得维奇,伊凡;迪索,汤姆斯;Weitzhofer,西蒙:地理定理中的自动定理证明:当前成就(2015)
  13. 弗朗西斯科,KOVACS,ZOLTAN:一个用于几何计算的奇异Web服务(2015)
  14. Bulf,卡洛琳;Maulee,Endo-C.CiCle;MiTalAL,JoRIS:一个几何问题解决情境中的语言和知识建构(2015)马修德
  15. 马林科维奇,维斯纳;詹尼基,PrTrad;Schreck,Pascal:几何构造问题可验证解的计算机定理证明(2015)
  16. Quaresma,佩德罗;Baeta,Nuno:I2GATP通用格式的现状(2015)
  17. 陈,Xiaoyu:几何陈述的表示与自动转换(2014)
  18. 陈,Xiaoyu;王,东明:几何知识对象的形式化和规范化(2013)
  19. 珍妮,朱利安,QuaReSMA,佩德罗:面积法。重演(2012)
  20. Kalasyyk,CeZayy;艾达,Tethoo:形式化折纸的证明辅助决策程序(2011)