Mathematical theory of computer algebra system 并列题名：Mathematical theory of computer algebra system mathematical theory of computation mathematical theory of elastic structures mathematical theory of production planning mathematical methods of classical mechanics mathematical proof of implausible ideas