官方网站：Mathpix 截图快捷键： 截图后自动识别生成公式，第三个为Markdown格式公式。

AI与传统编译器 至于TVM，现在有很多框架（TF，Pytorch），然后会部署到不同平台（CPU、GPU、TPU），神经网络编译器呢就是把不同框架里写的东西编译成一样的格式再生成到某一平台的代码 再来…

1. 引言 有向无环图（Directed Acyclic Graph, DAG）是有向图的一种，字面意思的理解就是图中没有环。常常被用来表示事件之间的驱动依赖关系，管理任务之间的调度。拓扑排序是对DAG的顶点进行排序，使得对每一条有向边(u, …

文章目录 Colletion接口 一、Colletion接口常用方法 二、Collection集合的遍历 Colletion接口 一、Colletion接口常用方法

余子式 定义 设矩阵 A(aij)nnA\left(a_{i j}\right)_{n \times n}A(aij​)nn​, 将矩阵 AAA 的元素 aija_{i j}aij​ 所在的第行第 j\mathrm{j}j 列元素划去后, 到余的各元素按原来的排列顾序组成的 n−1n-1n−1 阶 矩脌所确定的行列式称为元古 aija_{i j}aij​ 的余子式&…

MLIR与Code Generation MLIR多级中间表示 MLIR 项目是一种构建可重用和可扩展编译器基础架构的新方法。MLIR 旨在解决软件碎片问题，改进异构硬件的编译，显着降低构建特定领域编译器的成本，帮助将现有编译器连接在一起。 MLIR作用 MLIR 旨在成…

(1) 矩阵的加法和减法 矩阵的加法和减法就是将两个矩阵对应位置上的数相加减。因此，相加减的两个矩阵 A，B\mathrm{A} ， BA，B 的行列必须相同。 (2) 矩阵乘法 二阶矩阵乘法示例： [abcd][efgh][aebgafbhcedgcfdh]\left…

布尔型True和False，not True为False，not False为True，以下是几个常用的not的用法： (1) not与逻辑判断句if连用，代表not后面的表达式为False的时候，执行冒号后面的语句。比如： a False if not a…