Axl, a geometric modeler for semi-algebraic shapes
scientific article; zbMATH DE number 6920260