Author:
Song Dan,Wang Dongming,Chen Xiaoyu
Funder
Research funds from the State Key Laboratory of Software Development Environment
Rresearch funds from the Central Universities
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Computer Science Applications,Information Systems
Reference65 articles.
1. An W, Chen X, Wang D (2016) Searching for geometric theorems using features retrieved from diagrams. In: Kotsireas IS, Rump SM, Yap CK (eds) Mathematical aspects of computer and information sciences, LNCS 9582. Springer, Heidelberg, pp 383–397
2. ADG (1996–2014) Proceedings of international workshop on automated deduction in geometry. http://dblp.uni-trier.de/db/conf/adg/index.html . Accessed 4 Aug 2016
3. Balbiani P, Dugat V, Fariñas del Cerro L, Lopez A (1994) Eléments de géométrie mécanique. Hermès, Paris
4. Ballard DH (1981) Generalizing the Hough transform to detect arbitrary shapes. Pattern Recogn 13(2):111–122
5. Banerjee B, Chandrasekaran B (2010) A constraint satisfaction framework for executing perceptions and actions in diagrammatic reasoning. J Artif Intell Res 39(1):373–427
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The geometric neural solution combined with text diagram parsing;2023 International Conference on Intelligent Education and Intelligent Research (IEIR);2023-11-05
2. PGDP5K: A Diagram Parsing Dataset for Plane Geometry Problems;2022 26th International Conference on Pattern Recognition (ICPR);2022-08-21
3. A Mechanical Geometer;Mathematics in Computer Science;2020-11-20
4. Automatically Proving Plane Geometry Theorems Stated by Text and Diagram;International Journal of Pattern Recognition and Artificial Intelligence;2019-06-07
5. On the Mechanization of Straightedge and Compass Constructions;Journal of Systems Science and Complexity;2019-02