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
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. ,
A constraint satisfaction framework for executing perceptions and actions in diagrammatic reasoning, J Artif Intell Res, vol.39, issue.1, pp.373-427, 2010. ,
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
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
CLP(QS): A Declarative Spatial Reasoning Framework, Spatial information theory, pp.210-230, 2011. ,
DOI : 10.1007/978-3-642-23196-4_12
Gröbner bases: an algorithmic method in polynomial ideal theory, pp.184-232, 1985. ,
DOI : 10.1007/978-94-009-5225-6_6
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
A New Randomized Algorithm for Detecting Lines, Real-Time Imaging, vol.7, issue.6, pp.473-481, 2001. ,
DOI : 10.1006/rtim.2001.0233
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
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
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
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
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
Machine proofs in geometry: automated production of readable proofs for geometry theorems, World Scientific, vol.6, 1994. ,
DOI : 10.1142/2196
Automated Reasoning in Geometry, Handbook of automated reasoning, pp.623-665, 2001. ,
DOI : 10.1016/B978-044450813-3/50013-8
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
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
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
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. ,
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
Realization of a geometry theorem proving machine Computers and thought, pp.134-152, 1995. ,
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
Visual thinking in mathematics: an epistemological study, 2007. ,
DOI : 10.1093/acprof:oso/9780199285945.001.0001
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. ,
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
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
A formal proof of the Kepler conjecture. arXiv preprint, 2015. ,
Tahuti, ACM SIGGRAPH 2006 Courses on , SIGGRAPH '06, 2002. ,
DOI : 10.1145/1185657.1185786
Algebraic approaches to geometric reasoning, Special issue of annals of mathematics and artificial intelligence, vol.13, pp.1-2, 1995. ,
Automated elementary geometry theorem discovery via inductive diagram manipulation, 2015. ,
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
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/08.03.17.14/doc/1.pdf
Geometric reasoning. Special issue of artificial intelligence, pp.1-3, 1989. ,
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
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
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
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. ,
Diagram Understanding, pp.5-27, 1990. ,
DOI : 10.1007/978-1-4613-0569-9_2
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
Optical character recognition Feature extraction & image processing, pp.87-88, 1999. ,
Diagrams for solving physical problems Diagrammatic reasoning: cognitive and computational perspectives, pp.753-774, 1995. ,
Automated development of fundamental mathematical theories Spatial symmetry driven pruning strategies for efficient declarative spatial reasoning, Spatial information theory, pp.331-353, 1992. ,
Diagram understanding in geometry questions, Proceedings of the 28th AAAI conference on artificial intelligence, pp.2831-2838, 2014. ,
Discovering geometric theorems from scanned and photographed images of diagrams (eds) Automated deduction in geometry, LNAI 9201, pp.149-165, 2015. ,
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. ,
Image processing, analysis, and machine vision, 2014. ,
DOI : 10.1007/978-1-4899-3216-7
PLCA, pp.63-96, 2012. ,
DOI : 10.4018/978-1-61692-868-1.ch002
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
Geometric shape recognition with fuzzy filtered input to a backpropagation neural network, IEICE Trans Inf Syst, vol.78, issue.2, pp.174-183, 1995. ,
Geometry machines: from AI to SMC Artificial intelligence and symbolic mathematical computation, LNCS 1138, pp.213-239, 1996. ,
Elimination methods Automated generation of diagrams with Maple and Java (eds) Algebra, geometry, and software systems, pp.277-287, 2001. ,
Mechanical theorem proving in geometries: basic principles (translated from the Chinese by, 1994. ,
DOI : 10.1007/978-3-7091-6639-0
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
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