1. Handbook of Mathematical Functions;Abramowitz,1964
2. Mathematical knowledge management;Adams,2004
3. Automated deduction systems and groups, 2003. http://www-unix.mcs.anl.gov/AR/others.html
4. Partial fraction formulas to sum slowly convergent series;Barnett;SIGSAM Bulletin,1989