Computer Mathematics, Proceedings of the by