zbMATH中的参考文献(参考文献10条)

显示第1到第10个结果,共10个。
按年份排序(引用)

  1. Quaresma,Pedro:几何中的自动推理和知识管理(2020)
  2. 塞拉科维奇,米利卡;马林科维奇,维斯纳;Janičić,Predrag:动力学几何中的新动力学:拖动构造的点(2020)
  3. 布特里,皮埃尔;布劳恩,加布里埃尔;Narboux,Julien:欧几里德平面几何算术化的形式化及其应用(2019)
  4. 科瓦茨。;累犯,T。;Sólyom Gecse,C.:在复杂代数几何证明器中重写输入表达式(2019)
  5. 尼科利奇,姆拉丁;马林科维奇,维斯纳;科瓦茨,佐坦;Janičić,Predrag:几何的投资组合定理证明和验证程序运行时预测(2019)
  6. 道比奇斯,英格丽德(编辑);Kutyniok,Gitta(编辑版);劳胡特,霍尔格(编辑);应用的谐波分析。2018年3月25-31日(2018年)研讨会摘要
  7. 弗朗西斯科,植物学;霍亨瓦特,马库斯;贾尼契奇,普雷特拉格;科瓦茨,佐坦;彼得罗维奇,伊万;累西奥,汤玛斯;西蒙•韦茨霍夫:《GeoGebra中的自动定理证明:当前成就》(2015)
  8. Kovács,Zoltán:GeoGebra 5中的关系工具(2015)
  9. 马里奇,菲利普;Petrović,Danijela:形式化复杂平面几何(2015)
  10. 马林科维奇,维斯纳;贾尼契奇,普雷特拉格;Schreck,Pascal:几何构造问题可验证解的计算机定理证明(2015)