Problems and Methodologies in Mathematical Software Production