Proceedings of the third ACM symposium on Solid modeling and applications