1. The 5 Colour Theorem in Isabelle/Isar;Bauer,2002
2. B. Baumgart, A boundary representation for computer vision, in: 44th AFIPS Nat. Conf., 1975, pp. 589–596
3. Interactive theorem proving and program development — Coq’Art: The calculus of inductive construction;Bertot,2004
4. Algebraic specification of a 3D-modeler based on hypermaps;Bertrand;Graphical Models and Image Processing,1994
5. Systems of circuits on two-dimensional manifold;Brahana;Annals of Mathematics,1926