机译:将具有SAT解算器的计算机代数系统应用于威廉姆森猜想
机译:将SAT解算器与计算机代数系统相结合以验证组合猜想
机译:数学的电子通信与计算机代数系统和证明助手的交互
机译:Mathcheck:通过计算机代数系统和SAT求解器组合的数学助手
机译:嵌入在基于计算机的认知辅导系统中的音频支持系统的使用及其对困苦读者的数学问题解决能力的影响的三个案例研究。
机译:认知过程基础数学技能以及计算准确性和流利性在单词问题解决与代数知识之间的作用
机译:将计算机代数系统与SAT SOLVER应用于WILLIAMSON猜想