On the Design and Implementation of a Geometric Knowledge Base
scientific article; zbMATH DE number 5899967