这篇是<<What Is Mathematics>>，紫书以及<<算法导论 … 欧几里得算法