吴文俊：不朽的数学人生，照耀人工智能发展之路.md,纪念这位大师！吴文俊先生纪念网站的主要资源，打好标签的几篇主要pdf著作包：（王世强）数理逻辑与范畴论应用，几何定理机器证明的基本原理（初等几何部分）（吴文俊），计算机科学中的范畴论陈意云，强对偶定理证明，数学丛书.-.[现代数学基础丛书].[非线性代数方程组与定理机器证明].（吴文俊），数学原理（第一卷)分为集合论、范畴论、范代数和模型论戴均著，吴文俊论数学机械化著述全集，吴文俊与数学机械化_纪志刚-论文，张量（理论和应用）（郭仲衡）