Ontological engineering and mathematical knowledge management: A formalization of projective geometry
From MaRDI portal
Publication:1810912
DOI10.1023/A:1022911730013zbMath1025.68081OpenAlexW2113748865MaRDI QIDQ1810912
F. Fürst, F. Trichet, Michel Leclère
Publication date: 9 June 2003
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1022911730013
This page was built for publication: Ontological engineering and mathematical knowledge management: A formalization of projective geometry