机译:广义矩阵完成和代数自然证明
Algebraic natural proofsCompletion rankgeometric complexity theoryMatrix completiontensor rank;
机译:子结构逻辑的代数证明理论:消除和完成
机译:关于广义矩阵代数的广义jordan衍生
机译:广义效应代数的顶部元素问题和Macneille补全
机译:高级矩阵完成的代数品种模型
机译:探索证明建构与数学理解之间的关系:以高中生代数证明建构为例。
机译:约旦代数上的恒等性证明
机译:子结构逻辑的代数证明理论:消除和完成