阿戈克利普

此软件的关键字
zbMATH中的参考文献(引用于, 1标准件 )
Quaresma,Pedro;Santos,Vanda;Graziani,Pierluigi;Baeta,Nuno:几何问题的分类(2020年) Narboux,Julien;Janičić,Predrag;Fleuriot,Jacques:合成几何中的计算机辅助定理证明(2019) Nikolić,Mladen;Marinković,Vesna;Kovács,Zoltán;Janičić,Predrag:几何的投资组合定理证明和prover运行时预测(2019年) Stojanović-Ðurđević,萨那:欧几里德几何中从非正式到正式的证明(2019) Quaresma,Pedro:走向智能和动态几何书籍(2017) 戴克霍夫,罗伊:邀请演讲:一阶逻辑的一致性(2015) Dyckhoff,Roy;Negri,Sara:一阶逻辑的几何化(2015) Marinković,Vesna;Janičić,Predrag;Schreck,Pascal:几何构造问题可验证解决的计算机定理证明(2015) StojanovićĐurđević,萨那;Narboux,Julien;Janičić,Predrag:机器可验证和可读证明的自动生成:Tarski几何的案例研究(2015) Stojanović,萨那;Narboux,Julien;Bezem,Marc;Janičić,Predrag:连贯逻辑的白话文(2014) Stojanović,Sana;Pavlović,Vesna;Janičić,Predrag:一个基于连贯逻辑的几何定理证明器,能够产生形式化和可读的证明(2011)