Frédéric Fürst Michel Leclère Francky Trichet Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry. 65-89 2003 38 Ann. Math. Artif. Intell. 1-3 db/journals/amai/amai38.html#FurstLT03