用户：John Cannon

主要兴趣在于发现各种代数分支问题的快速算法。