Presentation to computation; Translation; Computer algebra systems; Mathematical information retrieval;
机译:具有 inline-formula>
机译:加权-
机译:事件触发的非易碎
机译:Mathcheck:通过计算机代数系统和SAT求解器组合的数学助手
机译:数学教育中的计算机代数系统:一个案例研究,研究了将计算机代数系统引入中学数学教师的情况。
机译:中心条件与旋回为家庭三次系统:计算机代数appROaCH
机译:混合