2013/09/23 by Weiguang Mao, Mao, Weiguang
Computer Science · Mathematics · #Algebra over a field #Computer science #Database #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Field (mathematics) #Focus (optics) #MATLAB #Mainstream #Maple #Mathematics #Polynomial and algebraic computation #Programming language #Pure mathematics #Symbolic Computation (cs.SC) #Symbolic computation #System integration #The Symbolic #Theoretical computer science #cs.SC
paper · pdf · doi:10.48550/arxiv.1309.6655
273 pages in Chinese
arxiv created 2013/09/23 · openalex publication_date 2013/09/23 · arxiv updated 2013/09/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Symbolic integration is an important module of a typical Computer Algebra System. As for now, Mathematica, Matlab, Maple and Sage are all mainstream CAS. They share the same framework for symbolic integration at some points. In this book first we review the state of the art in the field of CAS. Then we focus on typical frameworks of the current symbolic integration systems and summarize the main mathematical theories behind these frameworks. Based on the open-source computer algebra system maTHmU developed by our team in our university, we propose a potential framework to improve the performance of the current symbolic integration system.