吴文俊与几何定理机器证明

吴文俊与几何定理机器证明吴文俊与几何定理机器证明1吴文俊与几何定理机器证明福州大学 林鸿仁吴文俊是我国著名的科学家，中国科学院院士，第三世界科学院院士，我国国家第一届（2001年）自然科学奖国家最高奖