@article{Bey95,
        author = {J. Bey},
        title = {Tetrahedral Grid Refinement},
        journal = {Computing},
        year = {1995},
        volume = {55},
        pages = {355--378},
}

@misc{www:dolfin,
        title = {{DOLFIN}},
        author = {J. Hoffman and J. Jansson and A. Logg and G. N. Wells},
        year = {2006},
        note = {URL: \url{http://www.fenics.org/dolfin/}}
}

@misc{www:ufc,
        title = {{UFC}},
        author = {M. S. Aln\ae{}s and H. P. Langtangen and A. Logg and K.-A. Mar
dal and O. Skavhaug},
        year = {2007},
        note = {URL: \url{http://www.fenics.org/ufc/}},
}

@misc{www:petsc,
        title = {Portable, Extensible Toolkit for Scientific Computation PETSc},
        year = {2005},
        note = {\url{http://www-unix.mcs.anl.gov/petsc/petsc-2/}},
}

@misc{www:hypre,
        title = {Hypre},
        year = {2005},
        note = {\url{http://acts.nersc.gov/hypre/}},
}

@misc{www:VTK,
        title = {The {V}isualization {T}oolkit ({VTK})},
        year = {2005},
        note = {\url{http://www.vtk.org/}},
}

@misc{www:ParaView,
        title = {Para{V}iew},
        year = {2005},
        note = {\url{http://www.paraview.org/}},
}

@misc{www:MayaVi,
        title = {Maya{V}i},
        year = {2005},
        note = {\url{http://mayavi.sourceforge.net/}},
}

@misc{www:OpenDX,
        title = {Open{DX}},
        year = {2005},
        note = {\url{http://www.opendx.org/}},
}

@misc{www:Octave,
        title = {Octave},
        year = {2005},
        note = {\url{http://www.octave.org/}},
}

@misc{www:MATLAB,
        title = {{MATLAB}},
        year = {2005},
        note = {\url{http://www.mathworks.com/}},
}

@misc{www:Mercurial,
        title = {Mercurial},
        year = {2006},
        note = {\url{http://www.selenic.com/mercurial/}},
}

@misc{www:GiD,
        title = {Gi{D}},
        year = {2005},
        note = {\url{http://gid.cimne.upc.es/}},
}

@misc{www:OpenInventor,
        title = {Open {I}nventor},
        year = {2005},
        note = {\url{http://http://oss.sgi.com/projects/inventor/}}
}

@misc{www:MEncoder,
        title = {M{E}ncoder},
        year = {2005},
        note = {\url{http://www.mplayerhq.hu/}},
}

@misc{www:Cygwin,
        title = {Cygwin},
        year = {2005},
        note = {\url{http://cygwin.com/}},
}

@misc{www:ublas,
        title = {{uBLAS}},
        year = {2006},
        note = {\url{http://www.boost.org/libs/numeric/ublas/}},
}

@misc{www:slepc,
        title = {{SLEPc}},
        year = {2006},
        note = {\url{http://www.grycap.upv.es/slepc/}},
}

@misc{www:numpy,
        title = {{N}um{P}y},
        year = {2006},
        not = {\url{http://numpy.scipy.org/}},

}

@misc{ufcmanual,
        title = {{UFC} Specification and User Manual },
        author = {M. S. Aln\ae{}s and H. P. Langtangen and A. Logg and K.-A. Mar
dal and O. Skavhaug},
        year = {2007},
        note = {URL: \url{http://www.fenics.org/ufc/}},
}

@article{KirLog06,
  author =       "R. C. Kirby and A. Logg",
  title =        "A Compiler for Variational Forms",
  journal =      "{ACM} Transactions on Mathematical Software",
  volume =       "32",
  number =       "3",
  pages =        "417--444",
  year =         "2006",
  accepted =     "13 November 2005",
  abstract =     "As a key step towards a complete automation of the finite element method
, 
                 we present a new algorithm for automatic and efficient evaluation of 
                 multilinear variational forms. The algorithm has been implemented in the 
                 form of a compiler, the FEniCS Form Compiler FFC. We present benchmark 
                 results for a series of standard variational forms, including the 
                 incompressible Navier-Stokes equations and linear elasticity. The speedup
 
                 compared to the standard quadrature-based approach is impressive; in some
 
                 cases the speedup is as large as a factor 1000.",
  issn = {0098-3500},

}

@article{KirLog07,
  author =       "R. C. Kirby and A. Logg",
  title =        "Efficient Compilation of a Class of Variational Forms",
  journal =      "{ACM} Transactions on Mathematical Software",
  volume =       "33",
  number =       "3",
  year =         "2007",
  accepted =     "31 August 2006",
  abstract =     "We investigate the compilation of general multilinear variational
                 forms over affines simplices and prove a representation theorem for
                 the representation of the element tensor (element stiffness matrix)
                 as the contraction of a constant reference tensor and a geometry
                 tensor that accounts for geometry and variable coefficients. Based
                 on this representation theorem, we design an algorithm for efficient
                 pretabulation of the reference tensor.  The new algorithm has been
                 implemented in the FEniCS Form Compiler~(FFC) and improves on a
                 previous loop-based implementation by several orders of magnitude,
                 thus shortening compile-times and development cycles for users of
                 FFC.",
  year = "2007",
  issn = {0098-3500},
}
