Proceedings of the sixth ACM symposium on Solid modeling and applications