Formalizing mathematics in higher-order logic: A case study in geometric modelling
scientific article; zbMATH DE number 1493449
scientific article