Nov, 2012

统一形式语言:一个用于求解偏微分方程弱式的领域特定语言

TL;DR介绍了一个用于表示偏微分方程弱形式的领域特定语言 Unified Form Language(UFL),支持变分形式和泛函,以及自动微分和任意功能空间等特性,并介绍了该语言及其构造,以及一些应用实例和支持 UFL 的库。