机译:计算机代数及其以外的平等
Department of Computer Science, University of Bath, Bath BA2 7AY, U.K.;
机译:计算机代数相等与数学教育学正确性的比较(II)
机译:关于等式代数和单子等式代数的范畴等价
机译:在第六届国际数学与模拟计算机协会(IMACS)计算机代数应用会议(ACA'2000)上的会议“科学与工程中的间隔和计算机代数方法”
机译:计算机代数相等与数学教育学正确性的比较
机译:发展代数和计算机辅助教学的研究:计算机辅助教学是否会提高发展代数学生的期末考试成绩?
机译:多元布尔代数中的谓词术语运算和等式
机译:计算机代数相等与数学教学正确性的比较(II)
机译:参数化数据类型的代数规范:最小可计算代数和具有等式的参数的情形