...
机译:范畴论中的内部图和原型推理
Categorical semantics; Diagrammatic reasoning; Formalizing mathematical intuition; Term inference;
机译:范畴论中的内部图和原型推理
机译:利用有效场理论研究层间耦合的自旋3/2和自旋5/2混合亚铁伊辛系统的相图和内能;计算内部能量的简单方法
机译:欧拉图推理的证明理论:逻辑翻译和归一化
机译:基于非线性时间序列模型的类别理论内部自动校准算法分析
机译:图类别中的代数理论上的代数刚性化
机译:儿童错误信念推理的贝叶斯框架:理论理论和模拟理论的合理融合
机译:大类别小图的同伦理论