Publisher
Springer International Publishing
Reference21 articles.
1. Baeta, N., Quaresma, P.: The full angle method on the OpenGeoProver. In: Lange, C., et al. (eds.) MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, No. 1010 in CEUR Workshop Proceedings, Aachen (2013). http://ceur-ws.org/Vol-1010/paper-08.pdf
2. Botana, F., et al.: Automated theorem proving in Geogebra: current achievements. J. Autom. Reason. 55(1), 39–59 (2015). https://doi.org/10.1007/s10817-015-9326-4
3. Chou, S.C., Gao, X.S.: Automated reasoning in geometry. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 707–749. Elsevier Science Publishers B.V., San Diego (2001)
4. Lecture Notes in Computer Science;P Janičić,2006
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);P Janičić,2006
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献