摘要
Alns，M.s.2009。 非线性偏微分方程的自动线性化和有效离散化的编译器框架。 博士论文。 挪威奥斯陆奥斯陆大学。 http://simua.no/research/sc/publications/simula.sc.626/simula_pdf_file。 谷歌学者 
Alns，M.s.、Langtangen，H.P.、Logg，A.、Mardal，K.-A.和Skavhaug，O.2009a。 UFC公司。 http://www.fenics.org/wiki/UFC/。 谷歌学者 Alnæs，M.s.和Logg，A.2009年。 UFL公司。 http://www.fenics.org/wiki/UFL/。 谷歌学者 Alns，M.s.和Mardal，K.-A.，2009年。 SyFi。 http://www.fenics.org/wiki/SyFi/。 谷歌学者 AlnÆs，M.s.和Mardal，K.-A.，2010年。 符号计算与有限元代码生成相结合的效率。 ACM事务处理。 数学。 柔和。 37, 1. 谷歌学者 数字图书馆 
AlnÆs，M.s.、Mardal，K.-A.和Westlie，M.2009b。 即时。 http://www.fenics.org/wiki/Instant。 谷歌学者 Balay，S.、Buschelman，K.、Gropp，W.D.、Kaushik，D.、Knepley，M.G.、McInnes，L.C.、Smith，B.F.和Zhang，H.2009年。 PETSc网页。 http://www.mcs.anl.gov/petsc/。 谷歌学者 Bangerth，W.、Hartmann，R.和Kanschat，G.，2007年。 处理。 II-通用面向对象有限元库。 ACM事务处理。 数学。 柔和。 33, 4, 24. 谷歌学者 数字图书馆 Beazley，D.M.2003年。 使用SWIG自动编写科学软件脚本。 未来。 发电机计算。 系统。 19599-609页。 谷歌学者 数字图书馆 Berti，G.2002年。 网格算法的通用编程：面向通用几何组件。 在第五届世界计算力学大会（WCCM V）的会议记录中，H.A.Mang、F.G.Rammerstorfer和J.Eberhardsteiner，Eds.维也纳科技大学，奥地利维也纳。 http://wccm.tuwien.ac.at/publications/Papers/fp81327.pdf。 谷歌学者 Berti，G.2006年。 GrAL-网格算法库。 未来。 发电机计算。 系统。 22, 1--2, 110--122. 谷歌学者 数字图书馆 Brezzi，F.、Douglas，Jr.、J.、Fortin，M.和Marini，L.D.，1987年。 两个和三个空间变量中的高效矩形混合有限元。 RAIRO-分析数字-数字。 分析。 21, 4, 581--604. 谷歌学者 Brezzi，F.、Douglas，Jr.和Marini，L.D.，1985年。 二阶椭圆问题的两类混合有限元。 数字。 数学。 第47217-235页。 谷歌学者 数字图书馆 Brezzi，F.和Fortin，M.，1991年。 混合和混合有限元方法。 Springer计算数学系列，第15卷。 纽约州纽约州施普林格。 谷歌学者 数字图书馆 Chen，Y.、Davis，T.A.、Hager，W.W.和Rajamanickam，S.，2008年。 算法887:CHOLMOD，超节点稀疏Cholesky因子分解和更新/停机。 ACM事务处理。 数学。 柔和。 35, 3, 1--14. 谷歌学者 数字图书馆 Crouzeix，M.和Raviart，P.A.1973年。 求解定常stokes方程的协调和非协调有限元方法。 RAIRO-分析数字-数字。 分析。 7, 33--76. 谷歌学者 Davis，T.A.，2004年。 算法832:UMFPACK v4.3-一种非对称模式多波前方法。 ACM事务处理。 数学。 柔和。 30, 2, 196--199. 谷歌学者 数字图书馆 Dular，P.、Geuzaine，C.等人，2009年。 GetDP：用于处理离散问题的通用环境。 http://geuz.org/getdp/。 谷歌学者 FEniCS公司。 2009年，FEniCS项目。 http://www.fenics.org/。 谷歌学者 Gottschling，P.和Lumsdaine，A.2009年。 矩阵模板库4。 http://www.osl.iu.edu/research/mtl/mtl4/。 谷歌学者 通用技术规范。 2009年，GNU三角曲面库（GTS）。 http://gts.sourceforge.net/。 谷歌学者 Heroux，M.A.、Bartlett，R.A.、Howle，V.E.、Hoekstra，R.J.、Hu，J.J.，Kolda，T.G.、Lehoucq，R.B.、Long，K.R.、Pawlowski，R.P.、Phipps，E.T.、Salinger，A.G.、Thornquist，H.、Tuminaro，R.S.、Willenbring，J.M.、Williams，A.和Stanley，K.S.，2005年。 Trilinos项目概述。 ACM事务处理。 数学。 柔和。 31, 3, 397--423. 谷歌学者 数字图书馆 Kirby，R.C.2004年。 算法839:FIAT，一种计算有限元基函数的新范式。 ACM事务处理。 数学。 柔和。 30, 4, 502--516. 谷歌学者 数字图书馆 Kirby，R.C.2009年。 菲亚特。 http://www.fenics.org/fiat/网站。 谷歌学者 Kirby，R.C.、Knepley，M.G.、Logg，A.和Scott，L.R.，2005年。 优化有限元矩阵的计算。 SIAM J.科学。 计算。 27, 3, 741--758. 谷歌学者 数字图书馆 Kirby，R.C.和Logg，A.，2006年。 变分形式的编译器。 ACM事务处理。 数学。 柔和。 32, 3, 417--444. 谷歌学者 数字图书馆 Kirby，R.C.和Logg，A.，2007年。 一类变分形式的有效编译。 ACM事务处理。 数学。 柔和。 33、3、第17条。 谷歌学者 数字图书馆 Kirby，R.C.、Logg，A.、Scott，L.R.和Terrel，A.R.，2006年。 有限元矩阵评估的拓扑优化。 SIAM J.科学。 计算。 28, 1, 224--240. 谷歌学者 数字图书馆 Knepley，M.G.和Karpeev，D.A.，2009年。 带筛网I的PDE网格算法：网格分布。 科学。 程序。 17, 3, 215--230. 谷歌学者 数字图书馆 Langtantin，H.P.，2003年。 计算偏微分方程：数值方法和Diffpack编程。 计算科学与工程教材，第1卷。 德国柏林施普林格。 谷歌学者 数字图书馆 Logg，A.2007年。 自动化有限元方法。 架构（architecture）。 计算。 方法。 工程14、2、93--138。 谷歌学者 交叉引用 
Logg，A.2009年。 计算网格的高效表示。 国际计算机杂志。 科学。 工程4、4、283--295。 谷歌学者 数字图书馆 Logg，A.、Ölgaard，K.B.、Rognes，M.E.、Wells，G.N.等人，2009年。 FFC公司。 http://www.fenics.org/ffc/。 谷歌学者 Long，K.等人，2009年。 圣丹斯。 http://www.math.ttu.edu/ ~klong/Sundance/html/。 谷歌学者 Nédélec，J.-C.1980年。 R中的混合有限元 三 .数字。 数学。 35, 3, 315--341. 谷歌学者 数字图书馆 Nikbakht，M.和Wells，G.N.，2009年。 不断演变的不连续性的自动建模。 算法2,31008--1030。 谷歌学者 交叉引用 Ølgaard，K.B.、Logg，A.和Wells，G.N.2008a。 不连续Galerkin方法的自动代码生成。 SIAM J.科学。 计算。 第31、2、849-864页。 谷歌学者 数字图书馆 Ølgaard，K.B.和Wells，G.N.，2010年。 通过自动代码生成优化有限元张量的正交表示。 ACM事务处理。 数学。 柔和。 37, 1. 谷歌学者 数字图书馆 Ølgaard，K.B.、Wells，G.N.和Logg，A.2008b。 固体力学的自动计算建模。 在IUTAM非弹性介质理论、计算和建模方面研讨会的论文集中，B.D.Reddy，Ed.IUTAM丛书，第11卷。 德国柏林施普林格，195-204。 谷歌学者 Pironneau，O.，Hecht，F.和Le Hyaric，A.，2009年。 FreeFEM++。 http://www.freefem.org/。 谷歌学者 普鲁德霍姆，C.2007。 生活：概述1D、2D和3D中有限元和谱元方法的统一C++实现。 应用并行计算国际会议论文集。 计算机科学讲义，第4699/2009卷。 施普林格柏林/海德堡，德国，712-721。 谷歌学者 数字图书馆 Prud'homme，C.2009年。 生活。 http://ljkforge.imag.fr/life。 谷歌学者 Raviart，P.-A.和Thomas，J.M.，1977年。 二阶椭圆方程的原始杂交有限元方法。 数学。 计算。 31, 138, 391--413. 谷歌学者 里瓦拉，M.-C.，1991年。 自适应和/或多重网格有限元方法的网格局部修改。 J.计算机。 申请。 数学。 36, 1, 79--89. 谷歌学者 数字图书馆 M.E.Rognes、R.C.Kirby和A.Logg，2009年。 高效组装H（div）和H（curl）协调有限元。 SIAM J.科学。 计算。 31, 6, 4130--4151. 谷歌学者 数字图书馆 斯卡夫豪格，2009年。 毒蛇。 http://www.fenics.org/wiki/Viper。 谷歌学者 回转。 2009.简化包装和接口生成器（SWIG）。 http://www.swig.org/。 谷歌学者 Walter，J.、Koch，M.等人，2009年。 uBLAS公司。 http://www.boost.org/。 谷歌学者 Wells，G.N.、Hooijkaas，T.和Shan，X.，2008年。 模拟温度对通过多孔介质的多相流的影响。 Phil.Mag.88，28-29，3265-3279。 谷歌学者 交叉引用
