机译:圆柱代数的关系代数约简及其在证明理论中的应用
机译:Kac-Moody和Virasoro Lie代数的半直接乘积的三个cocycle的浅水双汉密尔顿系统的代数证明:开放数学
机译:教学工具Calccheck中的计算关系 - 代数证明
机译:岗位关系代数及其证明系统
机译:后代数系统和后代数:一个明显的事实的证明=后代数系统和后代数:一个明显的事实的证明
机译:代数认知中的个体差异:与近似数和语义记忆系统的关系
机译:接触关系代数的证明系统
机译:post代数的等价关系及其在布尔函数无危害实现中的应用,