杨—巴克斯特方程

八十年代以来,在物理和数学两方面都有广泛应用的一个基本数学结构———杨—巴克斯特方程则是杨振宁和巴克斯特分别于1967年和1972年提出来的。1990年在日本京都的国际数学家大会上,4位菲尔兹奖获得者中,有3位的工作都与之有关。最近,中国科学院系统研究所数学机械化研究中心利用“吴文俊消元法”,机械化地求出了包括16个未知数、由64个3次多项式方程组成的二维经典杨—巴克斯特方程的全部解,并建立了计算相应量子解的机械化算法,这也是杨振宁和中国科学界之间的一段学术佳话。