1. Aldefeld, B.: Variations of geometries based on a geometric-reasoning method. Comput. Aided Des. 20(3), 117–126 (1988)
2. Boutry, P., Narboux, J., Schreck, P., Braun, G.: Using small scale automation to improve both accessibility and readability of formal proofs in geometry. In: Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014), CISUC TR2014/02, Universidade de Coimbra (2014)
3. Lecture Notes in Computer Science;G Braun,2013
4. Buoma, W., Fudos, I., Hoffman, C., Cai, J., Paige, R.: A geometric constraint solver. CAD 27, 487–501 (1995)
5. Buthion, M.: Un programme qui résoud formellement des problèmes de constructions géométriques. RAIRO Informatique 3(4), 353–387 (1979)