Proceedings of the ninth ACM symposium on Solid modeling and applications