W. An, X. Chen, and D. Wang, Searching for Geometric Theorems Using Features Retrieved from Diagrams, Mathematical aspects of computer and information sciences, pp.383-397, 2016.
DOI : 10.1007/978-3-319-32859-1_33

P. Balbiani, V. Dugat, F. Del-cerro, L. Lopez, and A. , Eléments de géométrie mécanique Generalizing the Hough transform to detect arbitrary shapes, Pattern Recogn, vol.13, issue.2, pp.111-122, 1981.

B. Banerjee and B. Chandrasekaran, A constraint satisfaction framework for executing perceptions and actions in diagrammatic reasoning, J Artif Intell Res, vol.39, issue.1, pp.373-427, 2010.

M. Beeson and L. Wos, OTTER proofs in Tarskian geometry Automated reasoning, LNAI 8562, pp.495-510, 2014.
DOI : 10.1007/978-3-319-08587-6_38

URL : http://www.michaelbeeson.com/research/papers/TarskiFormalization.pdf

S. Belongie, J. Malik, and J. Puzicha, Shape matching and object recognition using shape contexts, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.24, issue.4, pp.509-522, 2002.
DOI : 10.1109/34.993558

M. Bhatt, J. Lee, and C. Schultz, CLP(QS): A Declarative Spatial Reasoning Framework, Spatial information theory, pp.210-230, 2011.
DOI : 10.1007/978-3-642-23196-4_12

B. Buchberger, Gröbner bases: an algorithmic method in polynomial ideal theory, pp.184-232, 1985.
DOI : 10.1007/978-94-009-5225-6_6

W. Bulko, Understanding text with an accompanying diagram, Proceedings of the first international conference on Industrial and engineering applications of artificial intelligence and expert systems , IEA/AIE '88, pp.894-898, 1988.
DOI : 10.1145/55674.55704

T. Chen and K. Chung, A New Randomized Algorithm for Detecting Lines, Real-Time Imaging, vol.7, issue.6, pp.473-481, 2001.
DOI : 10.1006/rtim.2001.0233

T. Chen and K. Chung, An Efficient Randomized Algorithm for Detecting Circles, Computer Vision and Image Understanding, vol.83, issue.2, pp.172-191, 2001.
DOI : 10.1006/cviu.2001.0923

URL : http://www.isi.uu.nl/Meetings/../TGV/0923a.pdf

X. Chen and D. Wang, Management of geometric knowledge in textbooks, Data & Knowledge Engineering, vol.73, pp.43-57, 2012.
DOI : 10.1016/j.datak.2011.10.004

URL : https://hal.archives-ouvertes.fr/hal-00779254

X. Chen and D. Wang, Formalization and Specification of Geometric Knowledge Objects, Mathematics in Computer Science, vol.1, issue.2, pp.439-454, 2013.
DOI : 10.1007/s11704-007-0018-z

URL : https://hal.archives-ouvertes.fr/hal-00913400

X. Chen, Representation and automated transformation of geometric statements, Journal of Systems Science and Complexity, vol.174, issue.2, pp.382-412, 2014.
DOI : 10.1016/j.entcs.2006.09.020

X. Chen, D. Song, and D. Wang, Automated generation of geometric theorems from images of diagrams, Annals of Mathematics and Artificial Intelligence, vol.8, issue.1, pp.3-4333, 2015.
DOI : 10.1145/357994.358023

S. Chou, X. Gao, and J. Zhang, Machine proofs in geometry: automated production of readable proofs for geometry theorems, World Scientific, vol.6, 1994.
DOI : 10.1142/2196

S. Chou and X. Gao, Automated Reasoning in Geometry, Handbook of automated reasoning, pp.623-665, 2001.
DOI : 10.1016/B978-044450813-3/50013-8

A. Cohn and S. Hazarika, Qualitative spatial representation and reasoning: an overview, Fundam Inf, vol.46, issue.12, pp.1-29, 2001.
DOI : 10.1007/3540634932_1

URL : http://www.comp.leeds.ac.uk/qsr/pub/ki97.ps.gz

C. Dehlinger, J. Dufourd, and P. Schreck, Higher-order intuitionistic formalization and proofs in Hilberts elementary geometry Automated deduction in geometry, LNAI 2061, pp.306-323, 2001.
DOI : 10.1007/3-540-45410-1_17

R. Duda and P. Hart, Use of the Hough transformation to detect lines and curves in pictures, Communications of the ACM, vol.15, issue.1, pp.11-15, 1972.
DOI : 10.1145/361237.361242

R. Ferguson and K. Forbus, Telling juxtapositions: using repetition and alignable difference in diagram understanding Advances in analogy research: integration of theory and data from the cognitive, computational, and neural sciences, pp.109-117, 1998.

K. Forbus, J. Usher, A. Lovett, K. Lockwood, and J. Wetzel, CogSketch: Sketch Understanding for Cognitive Science Research and for Education, Top Cogn Sci, vol.3, issue.4, pp.648-666, 2011.
DOI : 10.1007/978-3-642-14749-4_2

URL : http://onlinelibrary.wiley.com/doi/10.1111/j.1756-8765.2011.01149.x/pdf

H. Gelernter, Realization of a geometry theorem proving machine Computers and thought, pp.134-152, 1995.

D. Ghimire and J. Lee, Geometric Feature-Based Facial Expression Recognition in Image Sequences Using Multi-Class AdaBoost and Support Vector Machines, Sensors, vol.12, issue.6, pp.7714-7734, 2013.
DOI : 10.3390/s120303747

URL : http://www.mdpi.com/1424-8220/13/6/7714/pdf

M. Giaquinto, Visual thinking in mathematics: an epistemological study, 2007.
DOI : 10.1093/acprof:oso/9780199285945.001.0001

J. Glasgow, N. Narayanan, and B. Chandrasekaran, Diagrammatic reasoning: cognitive and computational perspectives Formal proof?the four-color theorem, Cambridge Gonthier G Not AMS, vol.55, issue.11, pp.1382-1393, 1995.

A. Goodrum, Image Information Retrieval: An Overview of Current Research, Informing Science: The International Journal of an Emerging Transdiscipline, vol.3, issue.2, pp.63-66, 2000.
DOI : 10.28945/578

J. Gorman, O. Mitchell, and F. Kuhl, Partial shape recognition using dynamic programming, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.10, issue.2, pp.257-266, 1988.
DOI : 10.1109/34.3887

T. Hales, M. Adams, and G. Bauer, A formal proof of the Kepler conjecture. arXiv preprint, 2015.

T. Hammond and R. Davis, Tahuti, ACM SIGGRAPH 2006 Courses on , SIGGRAPH '06, 2002.
DOI : 10.1145/1185657.1185786

H. Hong, D. Wang, and F. Winkler, Algebraic approaches to geometric reasoning, Special issue of annals of mathematics and artificial intelligence, vol.13, pp.1-2, 1995.

L. Johnson, Automated elementary geometry theorem discovery via inductive diagram manipulation, 2015.

J. Jorge and M. Fonseca, A Simple Approach to Recognise Geometric Shapes Interactively, Graphics recognition recent advances, pp.266-274, 1941.
DOI : 10.1007/3-540-40953-X_23

URL : http://immi.inesc.pt/~mjf/publications/lncs2k.pdf

C. Jung and R. Schramm, Rectangle detection based on a windowed Hough transform, Proceedings. 17th Brazilian Symposium on Computer Graphics and Image Processing, pp.113-120, 2004.
DOI : 10.1109/SIBGRA.2004.1352951

URL : http://iris.sid.inpe.br:1906/col/sid.inpe.br/banon/2004/

D. Kapur and J. Mundy, Geometric reasoning. Special issue of artificial intelligence, pp.1-3, 1989.

F. Lafarge and X. Descombes, Geometric Feature Extraction by a Multimarked Point Process, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.32, issue.9, pp.1597-1609, 2010.
DOI : 10.1109/TPAMI.2009.152

URL : https://hal.archives-ouvertes.fr/inria-00503140

K. Li, X. Lu, H. Ling, L. Liu, T. Feng et al., Detection of Overlapped Quadrangles in Plane Geometric Figures, 2013 12th International Conference on Document Analysis and Recognition, pp.260-264, 2013.
DOI : 10.1109/ICDAR.2013.59

J. Matas, C. Galambos, and J. Kittler, Robust Detection of Lines Using the Progressive Probabilistic Hough Transform, Computer Vision and Image Understanding, vol.78, issue.1, pp.119-137, 2000.
DOI : 10.1006/cviu.1999.0831

D. Materlik, Using sketch recognition to enhance the human-computer interface of geometry software. Diploma thesis, Free University of Berlin McCharen JD, Overbeek RA, Wos L (1976) Problems and experiments for and with automated theoremproving programs, IEEE Trans Comput, vol.25, issue.8, pp.773-782, 2003.

F. Montalvo, Diagram Understanding, pp.5-27, 1990.
DOI : 10.1007/978-1-4613-0569-9_2

H. Moon, R. Chellappa, and A. Rosenfeld, Optimal edge-based shape detection, IEEE Transactions on Image Processing, vol.11, issue.11, pp.1209-1227, 2002.
DOI : 10.1109/TIP.2002.800896

URL : http://www.umiacs.umd.edu/~raghuram/ENEE731/EdgeDetection/MoonChellappa.pdf

S. Mori, H. Nishida, and H. Yamada, Optical character recognition Feature extraction & image processing, pp.87-88, 1999.

G. Novak, Diagrams for solving physical problems Diagrammatic reasoning: cognitive and computational perspectives, pp.753-774, 1995.

A. Quaife, D. Kluwer, C. Schultz, and M. Bhatt, Automated development of fundamental mathematical theories Spatial symmetry driven pruning strategies for efficient declarative spatial reasoning, Spatial information theory, pp.331-353, 1992.

M. Seo, H. Hajishirzi, A. Farhadi, and O. Etzioni, Diagram understanding in geometry questions, Proceedings of the 28th AAAI conference on artificial intelligence, pp.2831-2838, 2014.

D. Song, D. Wang, and X. Chen, Discovering geometric theorems from scanned and photographed images of diagrams (eds) Automated deduction in geometry, LNAI 9201, pp.149-165, 2015.

D. Song and X. Chen, Automated generation of keywords from images for geometric information search, Prodeedings of the 11th international workshop on automated deduction in geometry (ADG 2016), pp.172-189, 2016.

M. Sonka, V. Hlavac, and R. Boyle, Image processing, analysis, and machine vision, 2014.
DOI : 10.1007/978-1-4899-3216-7

K. Takahashi, PLCA, pp.63-96, 2012.
DOI : 10.4018/978-1-61692-868-1.ch002

J. Tangelder and R. Veltkamp, A survey of content based 3D shape retrieval methods, Multimedia Tools and Applications, vol.26, issue.5, pp.441-471, 2008.
DOI : 10.1007/s11042-007-0181-0

F. Ulgen, A. Flavell, and N. Akamatsu, Geometric shape recognition with fuzzy filtered input to a backpropagation neural network, IEICE Trans Inf Syst, vol.78, issue.2, pp.174-183, 1995.

D. Wang, Geometry machines: from AI to SMC Artificial intelligence and symbolic mathematical computation, LNCS 1138, pp.213-239, 1996.

D. Wang, Elimination methods Automated generation of diagrams with Maple and Java (eds) Algebra, geometry, and software systems, pp.277-287, 2001.

W. Wu, Mechanical theorem proving in geometries: basic principles (translated from the Chinese by, 1994.
DOI : 10.1007/978-3-7091-6639-0

H. Yuen, J. Princen, J. Illingworth, and J. Kittler, Comparative study of Hough Transform methods for circle finding, Image and Vision Computing, vol.8, issue.1, pp.71-77, 1990.
DOI : 10.1016/0262-8856(90)90059-E

T. Zhang and C. Suen, A fast parallel algorithm for thinning digital patterns, Communications of the ACM, vol.27, issue.3, pp.236-239, 1984.
DOI : 10.1145/357994.358023