大多数数据流加速器编译器通过将数据流程序中的每个节点映射到数据流加速器上的专用硬件元素来实现高性能。然而，这种方法忽略了利用。。。

我们提出了统一形式语言（UFL），这是一种特定于域的语言，用于表示偏微分方程的弱形式，以实现数值逼近。UFL的特点包括支持变分形式和。。。

使用揭示矩阵张量结构的符号重述矩阵Kronecker积的代数。据称，在处理代数时遇到的许多困难可以通过……来缓解。。。