【每周一、五更新】��机自动证明�22.jpg"/><�协委员他�员中国科学院院士研究员中国�称为吴方�22.jpg"/><作出重大贡献

　创了数学机械化斟对国际数学�pg"/>

国际数学与�研究员中国�月生201。全文