A symbolic-numeric silhouette algorithm | IEEE Conference Publication | IEEE Xplore