Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Changsha University》 2013-05
Add to Favorite Get Latest Update

The Proving of Todd - Coxeter Algorithm

LIU Wenhai;LI Zhongsen;Fujian International Business & Economic College;  
The paper has put forward the condition to terminate the Todd-Coxeter algorithm within finite steps and also proves it.The theorem can be used as the theoretical basis of the application of Todd-Coxeter algorithm.
【CateGory Index】: O152
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved