Mathematics disorder数学障碍;数学疾患;算障碍 constructive mathematics可构造数学;构造性数学 Concrete Mathematics具体数学 ..
基于54个网页-相关网页
...学机械化进展综述_stmopen 关键词】: 构造性数学 代数几何 方程求解 自动推理 [gap=469]Keywords】: constructive mathematics; algebraic geometry; equation solving; automated reasoning ..
基于36个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress