Automated Solution of Differential Equations by the Finite Element Method: The FEniCS Book

This book is a tutorial written by researchers and developers behind the FEniCS Project and explores an advanced, expressive approach to the development of mathematical software. The presentation spans mathematical background, software design and the use of FEniCS in applications. Theoretical aspects are complemented with computer code which is available as free/open source software. The book begins with a special introductory tutorial for beginners. Followingare chapters in Part I addressing fundamental aspects of the approach to automating the creation of finite element solvers. Chapters in Part II address the design and implementation of the FEnicS software. Chapters in Part III present the application of FEniCS to a wide range of applications, including fluid flow, solid mechanics, electromagnetics and geophysics.

[1]  Jerzy Karczmarczuk.  Functional Differentiation of Computer Programs , 2001, High. Order Symb. Comput..

[2]  Luís Manuel Trabucho de Campos.  A numerical analysis of a class of generalized Boussinesq-type equations using continuous/discontinuous FEM , 2012 .

[3]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[4]  William Bickford,et al.  A first course in the finite element method , 1990 .

[5]  Pierre Sagaut,et al.  Multiscale And Multiresolution Approaches In Turbulence , 2006 .

[6]  Peter Hansbo,et al.  A variable diffusion method for mesh smoothing , 2003 .

[7]  Anders Logg,et al.  Multi-adaptive time integration , 2004, 1205.2805.

[8]  Murtazo Nazarov,et al.  Adaptive Algorithms and High Order Stabilization for Finite Element Computation of Turbulent Compressible Flow , 2011 .

[9]  P. Lascaux,et al.  Some nonconforming finite elements for the plate bending problem , 1975 .

[10]  L. D. Marini,et al.  Two families of mixed finite elements for second order elliptic problems , 1985 .

[11]  Robert C. Kirby,et al.  Singularity-free evaluation of collapsed-coordinate orthogonal polynomials , 2010, TOMS.

[12]  Adolf Ebel,et al.  Time-dependent thermal convection - a possible explanation for a multiscale flow in the Earth's mantle , 1988 .

[13]  Kenneth Eriksson,et al.  Adaptive Finite Element Methods for Parabolic Problems VI: Analytic Semigroups , 1998 .

[14]  J. P. Webb.  Edge Elements and What They Can Do for You , 1992, Digest of the Fifth Biennial IEEE Conference on Electromagnetic Field Computation.

[15]  N Alperin,et al.  Hydrodynamic modeling of cerebrospinal fluid motion within the spinal cavity. , 2000, Journal of biomechanical engineering.

[16]  F. Brezzi.  On the existence, uniqueness and approximation of saddle-point problems arising from lagrangian multipliers , 1974 .

[17]  Matthias G. Imhof,et al.  Seismostratigraphic Inversion: Appraisal, Ambiguity, And Uncertainty , 2006 .

[18]  Rolf Rannacher,et al.  An optimal control approach to a posteriori error estimation in finite element methods , 2001, Acta Numerica.

[19]  Robert C. Kirby,et al.  Geometric Optimization of the Evaluation of Finite Element Matrices , 2007, SIAM J. Sci. Comput..

[20]  Andrew J. Wathen,et al.  Fast iterative solution of stabilised Stokes systems, part I: using simple diagonal preconditioners , 1993 .

[21]  W. Alves,et al.  Gender-related differences in aneurysmal subarachnoid hemorrhage. , 1996, Journal of neurosurgery.

[22]  Garth N. Wells,et al.  Optimizations for quadrature representations of finite element tensors through automated code generation , 2011, TOMS.

[23]  Denys Dutykh,et al.  Dissipative Boussinesq equations , 2007 .

[24]  Philippe G. Ciarlet,et al.  The finite element method for elliptic problems , 2002, Classics in applied mathematics.

[25]  V. Haughton,et al.  Cerebrospinal fluid flow in foramen magnum: temporal and spatial patterns at MR imaging in volunteers and in patients with Chiari I malformation. , 2004, Radiology.

[26]  J. Halleux,et al.  An arbitrary lagrangian-eulerian finite element method for transient dynamic fluid-structure interactions , 1982 .

[27]  J. Ruppersberg.  Ion Channels in Excitable Membranes , 1996 .

[28]  Ben Q. Li.  Discontinuous Finite Elements in Fluid Dynamics and Heat Transfer , 2005 .

[29]  Jie Shen,et al.  An overview of projection methods for incompressible flows , 2006 .

[30]  Bin Teng,et al.  A new form of generalized Boussinesq equations for varying water depth , 2004 .

[31]  I. Babuska.  The finite element method with Lagrangian multipliers , 1973 .

[32]  C. Soeller,et al.  Numerical simulation of local calcium movements during L-type calcium channel gating in the cardiac diad. , 1997, Biophysical journal.

[33]  O. C. Zienkiewicz,et al.  Finite element methods for second order differential equations with significant first derivatives , 1976 .

[34]  Tim Warburton,et al.  An explicit construction of interpolation nodes on the simplex , 2007 .

[35]  Douglas N. Arnold,et al.  Multigrid in H (div) and H (curl) , 2000, Numerische Mathematik.

[36]  Moshe Dubiner.  Spectral methods on triangles and other domains , 1991 .

[37]  Johan Hoffman,et al.  UNIFIED CONTINUUM MODELING OF FLUID-STRUCTURE INTERACTION , 2011 .

[38]  Thomas Grätsch,et al.  Goal-oriented error estimation in the analysis of fluid flows with structural interactions , 2006 .

[39]  Niclas Jansson,et al.  High performance adaptive finite element methods for turbulent fluid flow , 2011 .

[40]  G. Langer,et al.  Calcium concentration and movement in the diadic cleft space of the cardiac ventricular cell. , 1996, Biophysical journal.

[41]  Michael D. Stern,et al.  Local Control Models of Cardiac Excitation–Contraction Coupling , 1999, The Journal of general physiology.

[42]  C. Schwab.  P- and hp- finite element methods : theory and applications in solid and fluid mechanics , 1998 .

[43]  W. Bangerth,et al.  deal.II—A general-purpose object-oriented finite element library , 2007, TOMS.

[44]  S. Orszag.  Accurate solution of the Orr–Sommerfeld stability equation , 1971, Journal of Fluid Mechanics.

[45]  David A. Yuen,et al.  Numerical simulations of thermal-chemical instabilities at the core–mantle boundary , 1988, Nature.

[46]  Alan D. Lopez,et al.  Alternative projections of mortality and disability by cause 1990–2020: Global Burden of Disease Study , 1997, The Lancet.

[47]  Rüdiger Verfürth,et al.  A posteriori error estimation and adaptive mesh-refinement techniques , 1994 .

[48]  Robert D. Falgout,et al.  hypre: A Library of High Performance Preconditioners , 2002, International Conference on Computational Science.

[49]  S. Tureka.  Recent Benchmark Computations of Laminar Flow Around a Cylinder , 1996 .

[50]  Anders Logg,et al.  Efficient compilation of a class of variational forms , 2007, TOMS.

[51]  D. Arnold,et al.  Finite element exterior calculus, homological techniques, and applications , 2006, Acta Numerica.

[52]  Mats G. Larson,et al.  Adaptive finite element approximation of multiphysics problems: A fluid–structure interaction model problem , 2010 .

[53]  Ge Wei,et al.  Generation of waves in Boussinesq models using a source function method , 1999 .

[54]  W. J. German,et al.  Cervical ligation for internal carotid aneurysms. An extended follow-up. , 1965, Journal of neurosurgery.

[55]  Robert C. Kirby,et al.  Algorithm 839: FIAT, a new paradigm for computing finite element basis functions , 2004, TOMS.

[56]  M. Crouzeix,et al.  Nonconforming finite elements for the Stokes problem , 1989 .

[57]  A. Huerta,et al.  Arbitrary Lagrangian–Eulerian Methods , 2004 .

[58]  Noam Alperin,et al.  From Cerebrospinal Fluid Pulsation to Noninvasive Intracranial Compliance and Pressure Measured by MRI Flow Studies , 2006 .

[59]  D. Brandt,et al.  Multi-level adaptive solutions to boundary-value problems math comptr , 1977 .

[60]  Ilmar M. Wilbers,et al.  Using Cython to Speed up Numerical Python Programs , 2009 .

[61]  P. Hood,et al.  A numerical solution of the Navier-Stokes equations using the finite element technique , 1973 .

[62]  H. Schäffer,et al.  Boussinesq-type formulations for fully nonlinear and extremely dispersive water waves: derivation and analysis , 2003, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[63]  M. Giles,et al.  Adjoint methods for PDEs: a posteriori error analysis and postprocessing by duality , 2002, Acta Numerica.

[64]  T. Manteuffel.  An incomplete factorization technique for positive definite linear systems , 1980 .

[65]  Christian H. Bischof,et al.  Implementation of automatic differentiation tools , 2002, PEPM '02.

[66]  Martin Berzins,et al.  A finite element method for the two‐dimensional extended Boussinesq equations , 2002 .

[67]  Barak A. Pearlmutter,et al.  Lazy multivariate higher-order forward-mode AD , 2007, POPL '07.

[68]  W. Wier,et al.  Mechanism of release of calcium from sarcoplasmic reticulum of guinea‐pig cardiac cells. , 1988, The Journal of physiology.

[69]  Y. Ricard,et al.  Physics of Mantle Convection , 2007 .

[70]  C F Dewey,et al.  Turbulent fluid shear stress induces vascular endothelial cell turnover in vitro. , 1986, Proceedings of the National Academy of Sciences of the United States of America.

[71]  Jonathan J. Hu,et al.  ML 5.0 Smoothed Aggregation Users's Guide , 2006 .

[72]  R. Courant.  Variational methods for the solution of problems of equilibrium and vibrations , 1943 .

[73]  L. R. Scott,et al.  The Mathematical Theory of Finite Element Methods , 1994 .

[74]  M. Rognes,et al.  Efficient Assembly of H(div) and H(curl) Conforming Finite Elements , 2012, 1205.3085.

[75]  V. Feigin,et al.  Stroke epidemiology in the developing world , 2005, The Lancet.

[76]  Daniele Boffi,et al.  On the problem of spurious eigenvalues in the approximation of linear elliptic problems in mixed form , 2000, Math. Comput..

[77]  S. McLaughlin,et al.  Divalent Ions and the Surface Potential of Charged Phospholipid Membranes , 1971, The Journal of general physiology.

[78]  M. Fortin,et al.  Mixed finite elements for second order elliptic problems in three variables , 1987 .

[79]  David J. Evans,et al.  Finite element solution of waveguide problems , 1990, Int. J. Comput. Math..

[80]  J. Guermond,et al.  Theory and practice of finite elements , 2004 .

[81]  J. C. Rice,et al.  On numerically accurate finite element solutions in the fully plastic range , 1990 .

[82]  Philip L.-F. Liu,et al.  Modified Boussinesq equations and associated parabolic models for water wave propagation , 1995 .

[83]  J. Douglas,et al.  PEERS: A new mixed finite element for plane elasticity , 1984 .

[84]  D. Pozar.  Microwave Engineering , 1990 .

[85]  Leszek Demkowicz,et al.  Hp -Vector Finite Element Method for the Full-Wave Analysis of Waveguides with No Spurious Modes , 2002 .

[86]  Hans Petter Langtangen,et al.  A FEniCS-Based Programming Framework for Modeling Turbulent Flow by the Reynolds-Averaged Navier-Stokes Equations , 2011, ArXiv.

[87]  G. Chavent,et al.  Identification de la Non-Linearité D'Une équation Parabolique Quasilineaire , 1974 .

[88]  Bjarne Stroustrup,et al.  C++ : programovací jazyk : The C++ programming language (Orig.) , 1997 .

[89]  T. Shawker,et al.  Elucidating the pathophysiology of syringomyelia. , 1999, Journal of neurosurgery.

[90]  W. Stehbens.  Ultrastructure of aneurysms. , 1975, Archives of neurology.

[91]  Kristian Valen-Sendstad,et al.  Sex differences in intracranial arterial bifurcations. , 2010, Gender medicine.

[92]  D. Arnold,et al.  Defferential Complexes and Stability of Finite Element Methods II: The Elasticity Complex , 2006 .

[93]  L. Margolin,et al.  Implicit Large Eddy Simulation: Computing Turbulent Fluid Dynamics , 2011 .

[94]  O. Axelsson.  A general incomplete block-matrix factorization method , 1986 .

[95]  M. Rivara.  Mesh Refinement Processes Based on the Generalized Bisection of Simplices , 1984 .

[96]  Per A. Madsen,et al.  Accuracy and convergence of velocity formulations for water waves in the framework of Boussinesq theory , 2003, Journal of Fluid Mechanics.

[97]  R. Stenberg.  Analysis of mixed finite elements methods for the Stokes problem: a unified approach , 1984 .

[98]  Allen C. Robinson,et al.  Toward an h-Independent Algebraic Multigrid Method for Maxwell's Equations , 2006, SIAM J. Sci. Comput..

[99]  Andy R. Terrel,et al.  Topological Optimization of the Evaluation of Finite Element Matrices , 2012, SIAM J. Sci. Comput..

[100]  C. Ross Ethier,et al.  Exact fully 3D Navier–Stokes solutions for benchmarking , 1994 .

[101]  Yousef Saad,et al.  ILUT: A dual threshold incomplete LU factorization , 1994, Numer. Linear Algebra Appl..

[102]  Garth N. Wells,et al.  Automated Modelling of Evolving Discontinuities , 2009, Algorithms.

[103]  S. Turek.  Efficient solvers for incompressible flow problems: An algorithmic approach . . , 1998 .

[104]  MICHAEL M. WOLF,et al.  Combinatorial Optimization of Matrix-Vector Multiplication in Finite Element Assembly , 2009, SIAM J. Sci. Comput..

[105]  P. Lax,et al.  IX. Parabolic Equations , 1955 .

[106]  Yousef Saad,et al.  Iterative methods for sparse linear systems , 2003 .

[107]  Swapan K. Pandit,et al.  A transient higher order compact scheme for incompressible viscous flows on geometries beyond rectangular , 2007, J. Comput. Phys..

[108]  A. Bossavit.  Computational Electromagnetism: Variational Formulations, Complementarity, Edge Elements , 1997 .

[109]  Niclas Jansson,et al.  A computational study of turbulent flow separation for a circular cylinder using skin friction boundary conditions , 2011 .

[110]  A. Logg.  Automating the Finite Element Method , 2007, 1112.0433.

[111]  I. Babuska,et al.  Acta Numerica 2003: Survey of meshless and generalized finite element methods: A unified approach , 2003 .

[112]  O. Nwogu.  Alternative form of Boussinesq equations for nearshore wave propagation , 1993 .

[113]  Eh Tan,et al.  Metastable superplumes and mantle compressibility , 2005 .

[114]  P. Raviart,et al.  Conforming and nonconforming finite element methods for solving the stationary Stokes equations I , 1973 .

[115]  Bernardo Cockburn,et al.  A Mixed Finite Element Method for Elasticity in Three Dimensions , 2005, J. Sci. Comput..

[116]  R. Bank,et al.  Some a posteriori error estimators for elliptic partial differential equations , 1985 .

[117]  Anders Logg,et al.  Efficient representation of computational meshes , 2009, Int. J. Comput. Sci. Eng..

[118]  Jingfeng Jiang,et al.  Flow characteristics in a canine aneurysm model: a comparison of 4D accelerated phase-contrast MR measurements and computational fluid dynamics simulations. , 2011, Medical physics.

[119]  Ronald H. W. Hoppe,et al.  Finite element methods for Maxwell's equations , 2005, Math. Comput..

[120]  Mirco Raffetto,et al.  Characterization of spurious‐free finite element methods in electromagnetics , 2002 .

[121]  Anders Logg,et al.  Benchmarking Domain-Specific Compiler Optimizations for Variational Forms , 2008, TOMS.

[122]  L. R. Scott,et al.  Norm estimates for a maximal right inverse of the divergence operator in spaces of piecewise polynomials , 1985 .

[123]  C. Putman,et al.  Characterization of cerebral aneurysms for assessing risk of rupture by using patient-specific computational hemodynamics models. , 2005, AJNR. American journal of neuroradiology.

[124]  D. Arnold.  An Interior Penalty Finite Element Method with Discontinuous Elements , 1982 .

[125]  F. Brezzi,et al.  Stability of higher-order Hood-Taylor methods , 1991 .

[126]  C. Meier,et al.  Cardiovascular flow measurement with phase-contrast MR imaging: basic facts and implementation. , 2002, Radiographics : a review publication of the Radiological Society of North America, Inc.

[127]  Harry B. Bingham,et al.  Velocity potential formulations of highly accurate Boussinesq-type models , 2009 .

[128]  J. Bramble,et al.  Triangular elements in the finite element method , 1970 .

[129]  M. Fortin,et al.  Dual hybrid methods for the elasticity and the Stokes problems: a unified approach , 1997 .

[130]  K. Nadaoka,et al.  A formal derivation and numerical modelling of the improved Boussinesq equations for varying depth , 1996 .

[131]  Dietrich Braess.  Finite Elements: Introduction , 2007 .

[132]  Marie-Pierre Doin,et al.  A comparison of methods for the modeling of thermochemical convection , 1997 .

[133]  Anders Logg,et al.  DOLFIN: Automated finite element computing , 2010, TOMS.

[134]  Johan Hoffman,et al.  Resolution of d’Alembert’s Paradox , 2010 .

[135]  M. Hestenes,et al.  Methods of conjugate gradients for solving linear systems , 1952 .

[136]  Timothy A. Davis,et al.  Algorithm 832: UMFPACK V4.3---an unsymmetric-pattern multifrontal method , 2004, TOMS.

[137]  T H Shawker,et al.  Pathophysiology of syringomyelia associated with Chiari I malformation of the cerebellar tonsils. Implications for diagnosis and treatment. , 1994, Journal of neurosurgery.

[138]  W. Dörfler.  A convergent adaptive algorithm for Poisson's equation , 1996 .

[139]  Xiaoye S. Li,et al.  An overview of SuperLU: Algorithms, implementation, and user interface , 2003, TOMS.

[140]  Kent-André Mardal,et al.  Uniform preconditioners for the time dependent Stokes problem , 2006, Numerische Mathematik.

[141]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[142]  Johan Hoffman,et al.  A new approach to computational turbulence modeling , 2006 .

[143]  Y. Saad,et al.  GMRES: a generalized minimal residual algorithm for solving nonsymmetric linear systems , 1986 .

[144]  Alastair J. Martin,et al.  Aneurysm Growth Occurs at Region of Low Wall Shear Stress: Patient-Specific Correlation of Hemodynamics and Growth in a Longitudinal Study , 2008, Stroke.

[145]  W. Ritz.  Über eine neue Methode zur Lösung gewisser Variationsprobleme der mathematischen Physik. , 1909 .

[146]  Griewank,et al.  On automatic differentiation , 1988 .

[147]  Finn Løvholt,et al.  Documentation of a global Boussinesq solver , 2008 .

[148]  K. Zee,et al.  Goal-Adaptive Discretization of Fluid-Structure Interaction , 2009 .

[149]  Fabio Nobile,et al.  A Stability Analysis for the Arbitrary Lagrangian Eulerian Formulation with Finite Elements , 1999 .

[150]  Jan C. Rivenæs.  Application of a dual‐lithology, depth‐dependent diffusion equation in stratigraphic simulation , 1992 .

[151]  Ted Belytschko,et al.  Elastic crack growth in finite elements with minimal remeshing , 1999 .

[152]  Vicente Hernández,et al.  SLEPc: A scalable and flexible toolkit for the solution of eigenvalue problems , 2005, TOMS.

[153]  Gerhard A. Holzapfel,et al.  Nonlinear Solid Mechanics: A Continuum Approach for Engineering Science , 2000 .

[154]  Philip L.-F. Liu,et al.  Finite-Element Model for Modified Boussinesq Equations. II: Applications to Nonlinear Harbor Oscillations , 2004 .

[155]  Paula M. Ferguson,et al.  Python in a Nutshell , 2003 .

[156]  Jin-Fa Lee,et al.  Finite element analysis of lossy dielectric waveguides , 1994 .

[157]  D. Grahame.  The electrical double layer and the theory of electrocapillarity. , 1947, Chemical reviews.

[158]  E. Lakatta,et al.  Ion concentration-dependence of rat cardiac unitary L-type calcium channel conductance. , 2001 .

[159]  R. Winslow,et al.  An integrative model of the cardiac ventricular myocyte incorporating local control of Ca2+ release. , 2002, Biophysical journal.

[160]  K. Goda,et al.  A multistep technique with implicit difference schemes for calculating two- or three-dimensional cavity flows , 1979 .

[161]  Kenneth Eriksson,et al.  Adaptive finite element methods for parabolic problems. I.: a linear model problem , 1991 .

[162]  R. Prim.  Shortest connection networks and some generalizations , 1957 .

[163]  Hans Petter Langtangen,et al.  A Primer on Scientific Programming with Python , 2009 .

[164]  Joseph L Greenstein,et al.  Protein geometry and placement in the cardiac dyad influence macroscopic properties of calcium-induced calcium release. , 2007, Biophysical journal.

[165]  R. D. Wood,et al.  Nonlinear Continuum Mechanics for Finite Element Analysis , 1997 .

[166]  Charles A. Taylor,et al.  Outflow boundary conditions for three-dimensional finite element modeling of blood flow and pressure in arteries , 2006 .

[167]  B. M. Dillon,et al.  A comparison of formulations for the vector finite element analysis of waveguides , 1994 .

[168]  Paul Steinmann,et al.  Modeling three‐dimensional crack propagation—A comparison of crack path tracking strategies , 2008 .

[169]  R. Verfürth.  A review of a posteriori error estimation techniques for elasticity problems , 1999 .

[170]  Shijie Zhong,et al.  Thermochemical structures beneath Africa and the Pacific Ocean , 2005, Nature.

[171]  L. Landweber.  An iteration formula for Fredholm integral equations of the first kind , 1951 .

[172]  Mark Ainsworth,et al.  Hierarchic finite element bases on unstructured tetrahedral meshes , 2003 .

[173]  V. Haughton,et al.  Characterization of Cyclic CSF Flow in the Foramen Magnum and Upper Cervical Spinal Canal with MR Flow Imaging and Computational Fluid Dynamics , 2010, American Journal of Neuroradiology.

[174]  Finn Løvholt,et al.  Instabilities of Boussinesq models in non‐uniform depth , 2009 .

[175]  R. Rannacher,et al.  Simple nonconforming quadrilateral Stokes element , 1992 .

[176]  J. Cahouet,et al.  Some fast 3D finite element solvers for the generalized Stokes problem , 1988 .

[177]  Richard Kreckel,et al.  Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language , 2000, J. Symb. Comput..

[178]  B. Weir.  Unruptured intracranial aneurysms: a review. , 2002, Journal of neurosurgery.

[179]  P. Tackley,et al.  Computational Methods for Geodynamics: Finite volume method , 2010 .

[180]  I. Babuska,et al.  A‐posteriori error estimates for the finite element method , 1978 .

[181]  O. C. Zienkiewicz,et al.  A simple error estimator and adaptive procedure for practical engineerng analysis , 1987 .

[182]  R. Hiptmair,et al.  MULTIGRID METHOD FORH(DIV) IN THREE DIMENSIONS , 1997 .

[183]  M. Rivara,et al.  Local modification of meshes for adaptive and/or multigrid finite-element methods , 1991 .

[184]  Seung-Buhm Woo,et al.  Finite-Element Model for Modified Boussinesq Equations. I: Model Development , 2004 .

[185]  P. Sagaut.  BOOK REVIEW: Large Eddy Simulation for Incompressible Flows. An Introduction , 2001 .

[186]  I. Doležel,et al.  Higher-Order Finite Element Methods , 2003 .

[187]  Gene H. Golub,et al.  Numerical solution of saddle point problems , 2005, Acta Numerica.

[188]  Wang Ming,et al.  The Morley element for fourth order elliptic equations in any dimensions , 2006, Numerische Mathematik.

[189]  Ralf Hiptmair,et al.  Operator Preconditioning , 2006, Comput. Math. Appl..

[190]  Carretera de Valencia,et al.  The finite element method in electromagnetics , 2000 .

[191]  J. Tinsley Oden,et al.  Finite elements: An introduction , 1991 .

[192]  Andreas Griewank,et al.  ADIFOR: Automatic differentiation in a source translator environment , 1992, ISSAC '92.

[193]  A. Huerta,et al.  Finite Element Methods for Flow Problems , 2003 .

[194]  D. A. Dunavant.  High degree efficient symmetrical Gaussian quadrature rules for the triangle , 1985 .

[195]  Manfred Koch,et al.  A benchmark comparison for mantle convection codes , 1989 .

[196]  Douglas N. Arnold,et al.  Mixed finite element methods for linear elasticity with weakly imposed symmetry , 2007, Math. Comput..

[197]  Francisco-Javier Sayas,et al.  Algorithm 884: A Simple Matlab Implementation of the Argyris Element , 2008, TOMS.

[198]  Martin Costabel,et al.  Weighted regularization of Maxwell equations in polyhedral domains , 2002, Numerische Mathematik.

[199]  J. Lambert.  Numerical Methods for Ordinary Differential Systems: The Initial Value Problem , 1991 .

[200]  Robert C. Kirby,et al.  Fast simplicial finite element algorithms using Bernstein polynomials , 2011, Numerische Mathematik.

[201]  D. Arnold,et al.  A uniformly accurate finite element method for the Reissner-Mindlin plate , 1989 .

[202]  Henk A. van der Vorst,et al.  Bi-CGSTAB: A Fast and Smoothly Converging Variant of Bi-CG for the Solution of Nonsymmetric Linear Systems , 1992, SIAM J. Sci. Comput..

[203]  Tatsuo Itoh,et al.  Complex modes in lossless shielded microstrip lines , 1988 .

[204]  Frank R Korosec,et al.  Peak systolic and diastolic CSF velocity in the foramen magnum in adult patients with Chiari I malformations and in normal control participants. , 2003, AJNR. American journal of neuroradiology.

[205]  A. Levchenko,et al.  A 3D Monte Carlo analysis of the role of dyadic space geometry in spark generation. , 2006, Biophysical journal.

[206]  Giuseppe Pelosi,et al.  Quick finite elements for electromagnetic waves , 1998 .

[207]  Ted Belytschko,et al.  A finite element method for crack growth without remeshing , 1999 .

[208]  C. Anderson,et al.  Hormonal factors and risk of aneurysmal subarachnoid hemorrhage: an international population-based, case-control study. , 2001, Stroke.

[209]  Johan Hoffman,et al.  Adaptive Modeling of Turbulent Flow with Residual Based Turbulent Kinetic Energy Dissipation , 2011 .

[210]  Nicola Parolini,et al.  Mass preserving finite element implementations of the level set method , 2006 .

[211]  Claes Johnson,et al.  Computational Differential Equations , 1996 .

[212]  Jianguo Huang,et al.  Vibration analysis of Kirchhoff plates by the Morley element method , 2008 .

[213]  C. Soeller,et al.  Examination of the transverse tubular system in living cardiac rat myocytes by 2-photon microscopy and digital image-processing techniques. , 1999, Circulation research.

[214]  W. Huisinga,et al.  Hybrid stochastic and deterministic simulations of calcium blips. , 2007, Biophysical journal.

[215]  David B. Davidson,et al.  Computational Electromagnetics for RF and Microwave Engineering , 2005 .

[216]  Tayfun E. Tezduyar,et al.  Discontinuity-capturing finite element formulations for nonlinear convection-diffusion-reaction equations , 1986 .

[217]  Hans Petter Langtangen,et al.  Python scripting for computational science , 2004 .

[218]  E. Hairer,et al.  Solving Ordinary Differential Equations I , 1987 .

[219]  D. Peregrine.  A Modern Introduction to the Mathematical Theory of Water Waves. By R. S. Johnson. Cambridge University Press, 1997. xiv+445 pp. Hardback ISBN 0 521 59172 4 £55.00; paperback 0 521 59832 X £19.95. , 1998, Journal of Fluid Mechanics.

[220]  J. C. Simo,et al.  Consistent tangent operators for rate-independent elastoplasticity☆ , 1985 .

[221]  Barnes W. McCormick,et al.  Aerodynamics, Aeronautics and Flight Mechanics , 1979 .

[222]  V. Haughton,et al.  Effect of Tonsillar Herniation on Cyclic CSF Flow Studied with Computational Flow Analysis , 2011, American Journal of Neuroradiology.

[223]  W. Hackbusch.  Iterative Solution of Large Sparse Systems of Equations , 1993 .

[224]  A. Chorin.  Numerical Solution of the Navier-Stokes Equations* , 1989 .

[225]  Johan Hoffman,et al.  Computation of Mean Drag for Bluff Body Problems Using Adaptive DNS/LES , 2005, SIAM J. Sci. Comput..

[226]  U. Piomelli,et al.  Wall-layer models for large-eddy simulations , 2008 .

[227]  S. Sherwin,et al.  Modelling the circle of Willis to assess the effects of anatomical variations and occlusions on cerebral flows. , 2007, Journal of biomechanics.

[228]  L. Morley.  The Triangular Equilibrium Element in the Solution of Plate Bending Problems , 1968 .

[229]  Robert C. Kirby,et al.  From Functional Analysis to Iterative Methods , 2010, SIAM Rev..

[230]  T. Y. Wu,et al.  Long Waves in Ocean and Coastal Waters , 1981 .

[231]  L. Lisabeth,et al.  Gender and ethnic differences in subarachnoid hemorrhage , 2008, Neurology.

[232]  Chi-Bang Kuan,et al.  Automated Empirical Optimization , 2011, Encyclopedia of Parallel Computing.

[233]  Joze Korelc,et al.  Automatic Generation of Finite-Element Code by Simultaneous Optimization of Expressions , 1997, Theor. Comput. Sci..

[234]  Sebastian Rost,et al.  Tracking deep mantle reservoirs with ultra-low velocity zones , 2010 .

[235]  Giuseppe Pelosi,et al.  Finite Element Software for Microwave Engineering , 1996 .

[236]  Kent-André Mardal,et al.  Preconditioning discretizations of systems of partial differential equations , 2011, Numer. Linear Algebra Appl..

[237]  T. Belytschko,et al.  The extended finite element method (XFEM) for solidification problems , 2002 .

[238]  Vartan Kurtcuoglu,et al.  Three-dimensional computational modeling of subject-specific cerebrospinal fluid flow in the subarachnoid space. , 2009, Journal of biomechanical engineering.

[239]  David A. Yuen,et al.  The effects of a composite non-Newtonian and Newtonian rheology on mantle convection , 1993 .

[240]  P. Houston,et al.  Discontinuous Galerkin computation of the Maxwell eigenvalues on simplicial meshes , 2007 .

[241]  P. A. Madsen,et al.  A new form of the Boussinesq equations with improved linear dispersion characteristics , 1991 .

[242]  Barry Lee,et al.  Finite elements and fast iterative solvers: with applications in incompressible fluid dynamics , 2006, Math. Comput..

[243]  Jaan Kiusalaas,et al.  Numerical methods in engineering with Python , 2005 .

[244]  S. Marčelja,et al.  Electrostatics of phosphoinositide bilayer membranes. Theoretical and experimental results. , 1990, Biophysical journal.

[245]  Johan Hoffman,et al.  An adaptive finite element method for the compressible Euler equations , 2009 .

[246]  Philippe G. Ciarlet,et al.  Lectures on The Finite Element Method , 1975 .

[247]  Thomas J. R. Hughes,et al.  Improved numerical dissipation for time integration algorithms in structural dynamics , 1977 .

[248]  J. Oden,et al.  A Posteriori Error Estimation in Finite Element Analysis , 2000 .

[249]  Joze Korelc,et al.  Multi-language and Multi-environment Generation of Nonlinear Finite Element Codes , 2002, Engineering with Computers.

[250]  Anders Logg,et al.  Automated Goal-Oriented Error Control I: Stationary Variational Problems , 2012, SIAM J. Sci. Comput..

[251]  Mario A. Storti,et al.  Simultaneous untangling and smoothing of moving grids , 2008 .

[252]  Claes Johnson,et al.  Introduction to Adaptive Methods for Differential Equations , 1995, Acta Numerica.

[253]  Matthew G. Knepley,et al.  Optimizing the Evaluation of Finite Element Matrices , 2005, SIAM J. Sci. Comput..

[254]  Gary T. Jarvis,et al.  Survival times of subducted slab remnants in numerical models of mantle flow , 2007 .

[255]  L. Brunton,et al.  Excitation-contraction coupling and cardiac contractile force , 1992 .

[256]  D. Holdsworth,et al.  Characterization of volumetric flow rate waveforms in the normal internal carotid and vertebral arteries , 2005, Physiological measurement.

[257]  Michael A. Heroux,et al.  PyTrilinos: High-Performance Distributed-Memory Solvers for Python , 2006, PARA.

[258]  P. Wesseling,et al.  ADAPTIVE FINITE ELEMENT APPROXIMATION OF FLUID-STRUCTURE INTERACTION BASED ON AN EULERIAN VARIATIONAL FORMULATION , 2006 .

[259]  Spencer J. Sherwin,et al.  Formulation of a Galerkin spectral element-fourier method for three-dimensional incompressible flows in cylindrical geometries , 2004 .

[260]  Barak A. Pearlmutter,et al.  Nesting forward-mode AD in a functional framework , 2008, High. Order Symb. Comput..

[261]  Elias R Melhem,et al.  Age and sex variability and normal reference values for the V(MCA)/V(ICA) index. , 2005, AJNR. American journal of neuroradiology.

[262]  Erwan Verron,et al.  Comparison of Hyperelastic Models for Rubber-Like Materials , 2006 .

[263]  L Solymosi,et al.  Phase-contrast MR imaging of the cervical CSF and spinal cord: volumetric motion analysis in patients with Chiari I malformation. , 2000, AJNR. American journal of neuroradiology.

[264]  J. Oden,et al.  A unified approach to a posteriori error estimation using element residual methods , 1993 .

[265]  Mark S. Gockenbach,et al.  Understanding and implementing the finite element method , 1987 .

[266]  Daniele Boffi,et al.  Three-Dimensional Finite Element Methods for the Stokes Problem , 1997 .

[267]  Jie Shen,et al.  A new class of truly consistent splitting schemes for incompressible flows , 2003 .

[268]  Kevin R. Long.  Sundance 2.0 tutorial. , 2004 .

[269]  Jin-Fa Lee,et al.  Full-wave analysis of dielectric waveguides using tangential vector finite elements , 1991 .

[270]  R. S. Falk,et al.  PRECONDITIONING IN H (div) AND APPLICATIONS , 1997 .

[271]  T. Hughes,et al.  Streamline upwind/Petrov-Galerkin formulations for convection dominated flows with particular emphasis on the incompressible Navier-Stokes equations , 1990 .

[272]  C. Balanis,et al.  Finite element analysis of MMIC waveguide structures with anisotropic substrates , 1996 .

[273]  Adrian Lenardic,et al.  A NUMERICAL TREATMENT OF GEODYNAMIC : VISCOUS FLOW PROBLEMS INVOLVING THE ADVECTION OF MATERIAL INTERFACES , 1993 .

[274]  Kenneth Eriksson,et al.  Adaptive finite element methods for parabolic problems V: long-time integration , 1995 .

[275]  Anders Logg,et al.  Automated Code Generation for Discontinuous Galerkin Methods , 2008, SIAM J. Sci. Comput..

[276]  H. Schirmer,et al.  Bifurcation geometry and the presence of cerebral artery aneurysms. , 2004, Journal of neurosurgery.

[277]  R. Temam.  Sur l'approximation de la solution des équations de Navier-Stokes par la méthode des pas fractionnaires (I) , 1969 .

[278]  Xue-Cheng Tai,et al.  A Robust Finite Element Method for Darcy-Stokes Flow , 2002, SIAM J. Numer. Anal..

[279]  Johan Hoffman,et al.  Efficient computation of mean drag for the subcritical flow past a circular cylinder using general Galerkin G2 , 2009 .

[280]  G. Karniadakis,et al.  Spectral/hp Element Methods for Computational Fluid Dynamics , 2005 .

[281]  Eric Jones,et al.  SciPy: Open Source Scientific Tools for Python , 2001 .

[282]  D. W. Scharpf,et al.  The TUBA Family of Plate Elements for the Matrix Displacement Method , 1968, The Aeronautical Journal (1968).

[283]  M. Fortin,et al.  E cient rectangular mixed fi-nite elements in two and three space variables , 1987 .

[284]  P. Bolognese,et al.  Tailored Operative Technique for Chiari Type I Malformation Using Intraoperative Color Doppler Ultrasonography , 2003, Neurosurgery.

[285]  D. Malkus.  Eigenproblems associated with the discrete LBB condition for incompressible finite elements , 1981 .

[286]  J. Humphrey.  Cardiovascular solid mechanics , 2002 .

[287]  Douglas N. Arnold,et al.  Mixed finite elements for elasticity , 2002, Numerische Mathematik.

[288]  Anders Logg,et al.  Unified framework for finite element assembly , 2009, Int. J. Comput. Sci. Eng..

[289]  Volker John,et al.  On spurious oscillations at layers diminishing (SOLD) methods for convection–diffusion equations: Part I – A review , 2007 .

[290]  V. Haughton,et al.  CSF Flow Dynamics at the Craniovertebral Junction Studied with an Idealized Model of the Subarachnoid Space and Computational Flow Analysis , 2010, American Journal of Neuroradiology.

[291]  F. Krogh,et al.  Solving Ordinary Differential Equations , 2019, Programming for Computations - Python.

[292]  L S D Morley,et al.  The constant-moment plate-bending element , 1971 .

[293]  Niclas Jansson,et al.  Adaptive computation of aeroacoustic sources for a 4-wheel rudimentary landing gear benchmark problem , 2010 .

[294]  Ragnar Winther,et al.  A Preconditioned Iterative Method for Saddlepoint Problems , 1992, SIAM J. Matrix Anal. Appl..

[295]  David M. Beazley,et al.  SWIG: An Easy to Use Tool for Integrating Scripting Languages with C and C++ , 1996, Tcl/Tk Workshop.

[296]  Louise H. Kellogg,et al.  High Rayleigh number thermo‐chemical models of a dense boundary layer in D″ , 1998 .

[297]  Yu Zhu,et al.  Multigrid Finite Element Methods for Electromagnetic Field Modeling , 2006 .

[298]  Xuecheng Tai,et al.  A discrete de Rham complex with enhanced smoothness , 2006 .

[299]  Stefan Turek,et al.  A MONOLITHIC FEM SOLVER FOR AN ALE FORMULATION OF FLUID-STRUCTURE INTERACTION WITH CONFIGURATION FOR NUMERICAL BENCHMARKING , 2006 .

[300]  Anders Logg,et al.  A compiler for variational forms , 2006, TOMS.

[301]  G. Batchelor,et al.  An Introduction to Fluid Dynamics , 1968 .

[302]  O. C. Zienkiewicz,et al.  The Standard Discrete System and Origins of the Finite Element Method , 2005 .

[303]  G. Langer,et al.  Sarcolemmal calcium binding sites in heart: II. Mathematical model for diffusion of calcium released from the sarcoplasmic reticulum into the diadic region , 1992, The Journal of Membrane Biology.

[304]  D. Peregrine.  Long waves on a beach , 1967, Journal of Fluid Mechanics.

[305]  Kent-André Mardal,et al.  On the efficiency of symbolic computations combined with code generation for finite element methods , 2010, TOMS.

[306]  Philippe R. Spalart,et al.  Analysis of Experimental and Numerical Studies of the Rudimentary Landing Gear , 2011 .

[307]  P. G. Ciarlet,et al.  Numerical analysis of the finite element method , 1976 .

[308]  Thomas Dunne,et al.  Adaptive Finite Element Approximation of Fluid-Structure Interaction Based on Eulerian and Arbitrary Lagrangian-Eulerian Variational Formulations , 2007 .

[309]  S. Ramo,et al.  Fields and Waves in Communication Electronics , 1966 .

[310]  Douglas N. Arnold,et al.  Finite elements for symmetric tensors in three dimensions , 2008, Math. Comput..

[311]  K. Hillewaert.  Transient mesh adaptivity applied to domains undergoing large deformations , 2008 .

[312]  Kent-Andre Mardal,et al.  Using Diffpack from Python Scripts , 2003 .

[313]  Mujeeb R. Malik,et al.  A spectral collocation method for the Navier-Stokes equations , 1985 .

[314]  Matthew G. Knepley,et al.  Mesh algorithms for PDE with Sieve I: Mesh distribution , 2009 .

[315]  K. Bathe,et al.  The inf-sup test , 1993 .

[316]  L. Chambers.  Linear and Nonlinear Waves , 2000, The Mathematical Gazette.

[317]  L. R. Scott,et al.  Automated FEM discretizations for the Stokes equation , 2008 .

[318]  Christophe Prud'homme,et al.  A domain specific embedded language in C++ for automatic differentiation, projection, integration and variational formulations , 2006, Sci. Program..

[319]  John D. Pryce,et al.  Jacobian code generated by source transformation and vertex elimination can be as efficient as hand-coding , 2004, TOMS.

[320]  Thomas Dunne,et al.  An Eulerian approach to fluid–structure interaction and goal‐oriented mesh adaptation , 2006 .

[321]  U. Schumann.  Subgrid Scale Model for Finite Difference Simulations of Turbulent Flows in Plane Channels and Annuli , 1975 .

[322]  Robert A. van de Geijn,et al.  The science of deriving dense linear algebra algorithms , 2005, TOMS.

[323]  J Geoffrey Chase,et al.  Simulating transient ventricular interaction using a minimal cardiovascular system model , 2006, Physiological measurement.

[324]  M. Gurtin,et al.  An introduction to continuum mechanics , 1981 .

[325]  P. Hansbo,et al.  Discontinuous Galerkin and the Crouzeix–Raviart element : application to elasticity , 2003 .

[326]  L. Trefethen.  Spectral Methods in MATLAB , 2000 .

[327]  T. Hughes,et al.  Isogeometric analysis : CAD, finite elements, NURBS, exact geometry and mesh refinement , 2005 .

[328]  Marie E. Rognes,et al.  Stability of Lagrange elements for the mixed Laplacian , 2009, 0907.3438.

[329]  Ray W. Ogden,et al.  Nonlinear Elastic Deformations , 1985 .

[330]  R. L. Sani,et al.  Consistent vs. reduced integration penalty methods for incompressible media using several old and new elements , 1982 .

[331]  F. Alessandrini,et al.  Cerebrospinal fluid flow dynamics study in Chiari I malformation: implications for syrinx formation. , 2000, Neurosurgical focus.

[332]  M. Walkley,et al.  A numerical method for extended Boussinesq shallow-water wave equations , 1999 .

[333]  Peter Hansbo.  A Crank—Nicolson Type Space—Time Finite Element Method for Computing on Moving Meshes , 2000 .

[334]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[335]  Maisha Amaru,et al.  Towards absolute plate motions constrained by lower-mantle slab remnants , 2010 .

[336]  Emmanuel M. Tadjouddine,et al.  Vertex-ordering Algorithms for Automatic Differentiation of Computer Codes , 2008, Comput. J..

[337]  L. J. Sluys,et al.  A new method for modelling cohesive cracks using finite elements , 2001 .

[338]  Robert E. Wilson,et al.  Fundamentals of momentum, heat, and mass transfer , 1969 .

[339]  Gerald van Belle,et al.  Subarachnoid Hemorrhage and Hormonal Factors in Women: A Population-Based Case-Control Study , 1994, Annals of Internal Medicine.

[340]  A. Quarteroni,et al.  Numerical Approximation of Partial Differential Equations , 2008 .

[341]  P. Wesseling.  An Introduction to Multigrid Methods , 1992 .

[342]  Thomas Kaminski,et al.  Recipes for adjoint code construction , 1998, TOMS.

[343]  M. Fortin,et al.  A stable finite element for the stokes equations , 1984 .

[344]  Hans Petter Langtangen,et al.  Computational models for weakly dispersive nonlinear water waves , 1998 .

[345]  J. C. Simo,et al.  Unconditional stability and long-term behavior of transient algorithms for the incompressible Navier-Stokes and Euler equations , 1994 .

[346]  Michel Fortin,et al.  Mixed and Hybrid Finite Element Methods , 2011, Springer Series in Computational Mathematics.

[347]  C. Truesdell,et al.  The Classical Field Theories , 1960 .

[348]  van Eh Harald Brummelen,et al.  Goal‐oriented error estimation for Stokes flow interacting with a flexible channel , 2008 .

[349]  G. Wei,et al.  Time-Dependent Numerical Code for Extended Boussinesq Equations , 1995 .

[350]  N J Pelc,et al.  Magnetic Resonance Imaging of Blood Flow with a Phase Subtraction Technique: In Vitro and In Vivo Validation , 1993, Investigative radiology.

[351]  Robert C. Kirby.  Optimizing FIAT with level 3 BLAS , 2006, TOMS.

[352]  Christophe Prud'homme.  Life: Overview of a Unified C++ Implementation of the Finite and Spectral Element Methods in 1D, 2D and 3D , 2006, PARA.

[353]  R. Hiptmair.  Multigrid Method for Maxwell's Equations , 1998 .

[354]  Kevin Burke,et al.  Plume Generation Zones at the margins of Large Low Shear Velocity Provinces on the core–mantle boundary , 2008 .