@第{Kirby2004a条，title={算法839:FIAT，计算有限元基函数的新范式}，作者={罗伯特·C·柯比}，年份={2004}，journal={ACM数学软件交易}，体积={30}，数字＝{4}，页码={502--516}，doi={10.1145/1039813.1039820}，}@文章{KirbyKnepleyEtAl2005a，title＝{优化有限元矩阵的评估}，author={罗伯特·C·科尔比（Robert C.Kirby）、马修·克内普利（Matthew G.Knepley）、安德斯·洛格（Anders Logg）和里奇威·斯科特（L.Ridgway Scott）}，年份={2005}，journal={SIAM科学计算杂志}，体积={27}，数字={3}，页数={741--758}，doi={10.1137/040607824}，}@文章{KirbyLogg2006a，title={变体形式编译器}，author={罗伯特·C·科尔比和安德斯·洛格}，年份={2006}，journal={ACM数学软件交易}，体积={32}，数字={3}，doi={10.1145/1163641.1163644}，arxiv={1112.0402}，}@文章{KirbyLoggEtAl2006a，title＝{有限元矩阵评估的拓扑优化}，author={罗伯特·C·柯比和安德斯·洛格，L.里奇威·斯科特和安迪·特雷尔}，年份={2006}，journal={SIAM科学计算杂志}，体积＝{28}，数字={1}，页数={224--240}，doi={10.1137/050635547}，}@文章{KirbyScott2007a，title={有限元矩阵评估的几何优化}，author={罗伯特·C·柯比和L.里奇威·斯科特}，年份={2007}，journal={SIAM科学计算杂志}，体积={29}，数字={2}，页码={827--841}，}@文章{KirbyLogg2007a，title={一类变分形式的有效编译}，author={罗伯特·C·科尔比和安德斯·洛格}，年份={2007}，journal＝{ACM数学软件汇刊}，体积={33}，数字={3}，doi={10.1145/1268769.12687771}，}@文章{Logg2007a，title={自动化有限元方法}，author={Anders Logg}，年份={2007}，journal={工程计算方法档案}，体积={14}，数字={2}，页数={93--138}，doi={10.1007/s11831-007-9003-9}，arxiv={1112.0433}，}@第{OlgaardLoggEtAl2008a条，title={非连续Galerkin方法的自动代码生成}，作者={Kristian B.\O{}lgaard和Anders Logg以及Garth N.Wells}，年份={2008}，journal={SIAM科学计算杂志}，体积={31}，数字={2}，页码={849--864}，doi={10.1137/070710032}，arxiv={1104.0628}，}@文章{KirbyLogg2008a，title={变体形式的领域特定编译器优化基准测试}，author={罗伯特·C·科尔比和安德斯·洛格}，年份={2008}，journal={ACM数学软件交易}，体积={35}，数字={2}，页数={1--18}，doi={10.1145/1377612.1377614}，}@文章{Logg2009a，title={计算网格的有效表示}，author={Anders Logg}，年份={2009}，journal={国际计算科学与工程杂志}，体积={4}，数字={4}，页数={283--295}，doi={10.1504/IJCSE.2009.029164}，}@文章{RognesKirbyEtAl2009a，title={H（div）和H（curl）协调有限元的有效装配}，作者＝{Marie E.Rognes和Robert C.Kirby和Anders Logg}，年份={2009}，journal={SIAM科学计算杂志}，体积={31}，数字={6}，页数={4130--4151}，doi＝{10.1137/08073901X}，}@文章{AlnaesLoggEtAl2009a，title={有限元装配统一框架}，author={Martin S.Aln\ae{}S和Anders Logg以及Kent Andre Mardal和Ola Skavhaug以及Hans Petter Langtangen}，年份={2009}，journal={国际计算科学与工程杂志}，体积={4}，数字={4}，页数={231--244}，doi={10.1504/IJCSE.2009.029160}，}@第{AlnaesMardal2010a条，title={关于符号计算与有限元方法代码生成相结合的效率}，author={Martin S.Aln\ae{}S和Kent-Andre Mardal}，年份={2010}，journal={ACM数学软件交易}，体积={37}，数字={1}，num_pages={26页}，doi={10.1145/1644001.1644007}，}@文章{LoggWells2010a，title={DOLFIN:自动有限元计算}，author={安德斯·洛格和加思·威尔斯}，年份={2010}，journal={ACM数学软件交易}，体积={37}，数字={2}，doi={10.1145/1731022.1731030}，arxiv={1103.6248}，}@第{OlgaardWells2010b条，title={通过自动代码生成优化有限元张量的正交表示}，作者={Kristian B.\O{}lgaard和Garth N.Wells}，年份={2010}，journal={ACM数学软件交易}，体积={37}，num_pages={23}，doi={10.1145/1644001.1644009}，arxiv={1104.0199}，}@文章{Hoffman JanssonEal2012a，title={Unicorn:变形域和复杂几何体湍流和流固耦合的并行自适应有限元模拟}，author={约翰霍夫曼（Johan Hoffman）、约翰詹森（Johan-Jansson）、罗德里戈·V·德·阿布鲁（Rodrigo V.de Abreu）、杰姆·德基尔门奇（Cem Degirmenci）、尼古拉斯·詹森（Niclas Janson）、卡斯帕·穆勒（Kaspar Müller）、穆塔佐·纳扎罗夫（Murt，年份={2012}，journal={计算机与流体}，音量={在印刷机}中，}@第{JanssonJanssonEtAl2012a条，title={四面体网格上大规模并行自适应有限元计算流体动力学框架}，author={尼克拉斯·詹森和约翰·詹森以及约翰·霍夫曼}，年份={2012}，journal={SIAM科学计算杂志}，体积={34}，数字={1}，页数={C24--C41}，}@文章{paper17，title={自动求解FEniCS 1.2}中球体和其他流形上的PDE，author={玛丽·E·罗杰斯（Marie E.Rognes）、大卫·A·哈姆（David A.Ham）、科林·J·科特（Colin J.Cotter）和安德鲁·T·麦克雷（Andrew T.T.McRae）}，年份={2013}，journal={地球科学模型开发}，体积={6}，页数={2099--2119}，doi={10.5194/gmd-6-1999-2013}，}@第{AlnaesEtAl2012条，title＝{统一形式语言：偏微分方程弱公式的特定领域语言}，作者={Martin S.Aln\ae{}S和Anders Logg和Kristian B.\O{}lgaard和Marie E.Rognes和Garth N.Wells}，年份={2014}，journal={ACM数学软件交易}，体积={40}，数字={2}，doi={10.1145/2566630}，arxiv={1211.4047}，}@第{条AlnaesBlechta2015a，title={FEniCS项目版本1.5}，author={马丁·S·阿尔恩（Martin S.Aln）、扬·布莱希塔（Jan Blechta）、约翰·哈克（Johan Hake）、奥古斯特·约翰逊（August Johansson）、本杰明·凯利特（Benjamin Kehlet）、安德斯·洛格（Anders Logg）、克里斯·理查森（Chris Richardson）、约翰内斯·林（Johan，年份={2015年}，journal={数值软件档案}，体积={3}，数字={100}，doi={10.11588/ans.2015.100.20553}，页码={9-23}，}@书籍{LoggMardalEtAl2012a，title={用有限元法自动求解微分方程}，author={安德斯·洛格（Anders Logg）、肯特·安德雷·马尔达尔（Kent-Andre Mardal）和加思·威尔斯（Garth N.Wells）等人}，年份＝{2012}，publisher={Springer}，doi={10.1007/978-3-642-23099-8}，isbn={978-3-642-23098-1}，}@在{LoggWellsEal2012a，title={DOLFIN:a C++/Python有限元库}，author={安德斯·洛格（Anders Logg）、加思·威尔斯（Garth N.Wells）和约翰·哈克（Johan Hake）}，editor={安德斯·洛格（Anders Logg）和肯特·安德雷·马尔达尔（Kent-Andre Mardal）以及加思·威尔斯（Garth N.Wells}），年份={2012}，booktitle={用有限元法自动求解微分方程，计算科学与工程讲义第84卷}，publisher={Springer}，章节={10}，}@收件箱{LoggOlgaardEtAl2012a，title={FFC:FEniCS表单编译器}，author={安德斯·洛格（Anders Logg）和克里斯蒂安·贝加德（Kristian B.\O{}lgaard）和玛丽·罗杰斯（Marie E.Rognes）以及加思·威尔斯（Garth N.Wells}），editor={安德斯·洛格（Anders Logg）和肯特·安德雷·马尔达尔（Kent-Andre Mardal）以及加思·威尔斯（Garth N.Wells}），年份={2012}，booktitle={用有限元法自动求解微分方程，计算科学与工程讲义第84卷}，publisher={Springer}，章节={11}，}@收件箱{Kirby2012a，title={FIAT:有限元基函数的数值构造，}，作者={罗伯特·C·柯比}，editor={安德斯·洛格（Anders Logg）和肯特·安德雷·马尔达尔（Kent-Andre Mardal）以及加思·威尔斯（Garth N.Wells}），年份={2012}，booktitle={用有限元法自动求解微分方程，计算科学与工程讲义第84卷}，publisher={Springer}，章节={13}，}@收件箱{AlnaesMardal2012b，title={SyFi和SFC：符号有限元和表单编译}，author={Martin S.Aln\ae{}S和Kent-Andre Mardal}，editor={安德斯·洛格（Anders Logg）和肯特·安德雷·马尔达尔（Kent-Andre Mardal）以及加思·威尔斯（Garth N.Wells}），年份={2012}，booktitle={用有限元法自动求解微分方程，计算科学与工程讲义第84卷}，publisher={Springer}，章节={15}，}@收件箱{AlnaesLoggEtAl2012a，title={UFC:有限元代码生成接口}，作者＝｛Martin S.Aln\ae｛｝S和Anders Logg以及Kent Andre Mardal｝，editor={安德斯·洛格（Anders Logg）和肯特·安德雷·马尔达尔（Kent-Andre Mardal）以及加思·威尔斯（Garth N.Wells}），年份={2012}，booktitle={用有限元法自动求解微分方程，计算科学与工程讲义第84卷}，publisher＝{Springer}，章节={16}，}@收件箱{Alnaes2012a，title={UFL:有限元形式语言}，作者={Martin S.Aln\ae{}S}，editor={安德斯·洛格（Anders Logg）和肯特·安德雷·马尔达尔（Kent-Andre Mardal）以及加思·威尔斯（Garth N.Wells}），年份={2012}，booktitle={用有限元法自动求解微分方程，计算科学与工程讲义第84卷}，publisher={Springer}，章节={17}，}@收件箱{HoffmanJanssonEtAl2012a，title={Unicorn:统一连续体力学求解器}，author={约翰·霍夫曼（Johan Hoffman）、约翰·詹森（Johan-Jansson）、杰姆·德吉尔门奇（Cem Degirmenci）、尼古拉斯·詹森（Niclas Janson）和穆塔佐·纳扎罗夫（Murtazo Nazarov）}，editor={安德斯·洛格（Anders Logg）和肯特·安德雷·马尔达尔（Kent-Andre Mardal）以及加思·威尔斯（Garth N.Wells}），年份={2012}，booktitle={用有限元法自动求解微分方程，计算科学与工程讲义第84卷}，publisher={Springer}，章节＝{18}，}@收件箱{HoffmanJanssonEtAl2012b，title={湍流与流固相互作用}，author={约翰·霍夫曼（Johan Hoffman）、约翰·詹森（Johan-Jansson）、尼克拉斯·詹森（Niclas Janson）、C.约翰逊（C.Johnson）和罗德里戈·V·德·阿布鲁（Rodrigo V.de Abreu）}，editor={安德斯·洛格（Anders Logg）和肯特·安德雷·马尔达尔（Kent-Andre Mardal）以及加思·威尔斯（Garth N.Wells}），年份={2012}，booktitle={用有限元法自动求解微分方程，计算科学与工程讲义第84卷}，publisher={Springer}，章节={28}，}