证定理相关硕士博士期刊学术论文 - 搜论网

证定理相关论文

数学机械化中的AC=BD模式

介绍了AC=BD模式及其在用机械化方法求解方程和证明定理中的应用.首先证明对可单值化算子D,如果CKerD C KerA,则存在算子B使AC=BD.......

期刊

AC=BD模式解方程数学机械化证定理

看过本文同时还关注