GCLC公司

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


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共29个。
按年份排序(引用)
  1. Quaresma,Pedro;Santos,Vanda;Graziani,Pierluigi;Baeta,Nuno:几何问题的分类(2020年)
  2. Selaković,Milica;Marinković,Vesna;Janičić,Predrag:动力学几何中的新动力学:拖动构造的点(2020)
  3. Boutry,Pierre;Braun,Gabriel;Narboux,Julien:欧几里德平面几何算术化的形式化及其应用(2019)
  4. Nikolić,Mladen;Marinković,Vesna;Kovács,Zoltán;Janičić,Predrag:几何的投资组合定理证明和prover运行时预测(2019年)
  5. Stojanović-Ðurđević,萨那:欧几里德几何中从非正式到正式的证明(2019)
  6. 巴瑟,托比亚斯(编辑);克劳斯,亨宁(编辑);斯托亚诺斯卡,维斯纳(编辑):小型研讨会:同伦理论和表征理论中的色现象和二重性。2018年3月4日至10日举行的小型研讨会摘要(2018年)
  7. Denham,Graham(编辑);Gaifi,Giovanni(编辑);Jímenez Rolland,Rita(编辑);Suciu,Alexander I.(编辑):排列拓扑和表示稳定性。2018年1月14日-20日(2018年)研讨会摘要
  8. Feragen,Aasa(编辑);Hotz,Thomas(编辑);Huckemann,Stephan(编辑);Miller,Ezra(编辑):具有几何结构的数据统计。2018年1月21日-2018年1月27日研讨会摘要
  9. Breuillard,Emmanuel(编辑);Hochman,Michael(编辑);Shmerkin,Pablo(编辑):工作会议:加法组合学、熵和分形几何。2017年10月8日至13日工作会议摘要
  10. Quaresma,Pedro:走向智能和动态几何书籍(2017)
  11. Schreck,Pascal;Marinković,Vesna;Janičić,Predrag:三角形位置问题的可构造性类(2016)
  12. Botana,Francisco;Hohenwarter,Markus;Janičić,Predrag;Kovács,Zoltán;Petrović,Ivan;Recio,Tomás;Weitzhofer,Simon:《GeoGebra中的自动定理证明:当前成就》(2015)
  13. Botana,Francisco;Kovács,Zoltán:用于几何计算的单一web服务(2015)
  14. Bulf,Caroline;Mathé,Anne-Cécile;Mithalal,Joris:《几何问题解决情境中的语言与知识建构》(2015)数学
  15. Marinković,Vesna;Janičić,Predrag;Schreck,Pascal:几何构造问题可验证解决的计算机定理证明(2015)
  16. 夸雷斯马,佩德罗;巴埃塔,努诺:I2GATP通用格式的现状(2015)
  17. 陈晓宇:几何报表的表示与自动转换(2014)
  18. 陈晓宇;王东明:几何知识对象的形式化与规范化(2013)
  19. Janičić,Predrag;Narboux,Julien;Quaresma,Pedro:面积法。概述(2012)
  20. Zytea,正式决策助理:Zytea,Kaltero;2011年