Analysis of the Computer-Mathematics Research System ELIMINO

This paper presents an analysis of ELIMINO, a computer-mathematics research system that has been developed at the Chinese Academy of Sciences. Also presented are ideas to improve the performance of ELIMINO and an overview of the Characteristic Sets Method.

• Type: Conference
• Year: 2006
• Where: CSC
• Authors: Iyad A. Ajwa
• Keywords: Characteristic Sets Method, Chinese Academy, Computer-mathematics Research, CSC 2006, CSC 2007