Supported by the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312106 (国家重点基础研究发展规划(973)); the China Postdoctoral Science Foundation under Grant No.2004035715 (中国博士后科学基金); the Science-Technology Program of Zhejiang Province of China under Grant No.2004C31098 (浙江省科技计划)
代建华,潘云鹤.粗代数研究.软件学报,2005,16(7):1197-1204
复制