FEniCS 旨在推出一个新的计算算术模型 Computational Mathematical Modeling (CMM) 的新标准，相当于自动化 CMM 。用于简化算术方法学、实现和应用工具。包含了一些子项目和组件：DOLFIN, FErari, FFC, FIAT, Instant, SyFi, UFC, UFL, and Viper.
