Proceedings of the seventh ACM symposium on Solid modeling and applications