“国家自然科学基金面上”项目“（半）代数系统的几何结构分析的高效算法及其应用”

副标题：