基金项目:国家自然科学基金项目“几何知识的语义表示与智能化管理方法研究”(61702025);中国高等教育学会重点项目“基于教育数学思想培养大学数学教师”(22SX0201);北京航空航天大学一流本科课程立项项目“工(试读)...