佳能

佳能软件包:张量操纵器的快速内核。问题性质:在显式索引表示法中,对张量表达式(或以索引对象表示的任何表达式)的操作和简化,其中索引服从泛型置换对称性,并且可能存在虚拟(求和)索引。求解方法:使用了计算群论算法,特别是寻找单陪集和双陪集的正则表示的算法,以及生成强生成集的算法(资料来源:http://www.qus.com.cn//)