Hybrid high performance model of computer algebra system
一种混合高性能计算机代数环境模型

Computer Algebra System (CAS) is a vital backbone in the field of symbolic computation and automated reasoning. There are many excellent CASs, which can provide good interface and quick computation for researchers. However, they are only designed to work on some special purposes, i.e., polynomial operations or calculation of Groebner basis, which lead to inefficient collaboration. A hybrid high performance model of computer algebra system (HHPCAS) was outlined. HHPCAS provided high performance by expanding the kernel library in CAS, using external calling and integrating the parallel library and cluster management software. Each job was submitted to a queue and scheduled by its ticket and slot value, which denoted the priority of job. In HHPCAS, several examples were tested by implementing an algorithm named parallel successive difference substitution. The experimental result shows that HHPCAS is effective for complex problem in symbolic computation and automated reasoning.