欢迎访问学兔兔论文下载网,学习、交流 分享 !

返回首页 |
当前位置: 首页 > 论文文档>电子信息 >矩阵的证明及运算在Mizar系统下的实现

矩阵的证明及运算在Mizar系统下的实现

收藏
  • 大小:180.71 KB
  • 语言:中文版
  • 格式: PDF文档
  • 类别:电子信息
  • 更新日期:2023-10-31
关键词:矩阵   运算   系统   证明   实现
资源简介
  • 矩阵的证明及运算在Mizar系统下的实现,资料为PDF文档格式.
  • 本文档关键词:矩阵,运算,系统,证明,实现