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