On the efficiency of symbolic computations combined with code generation for finite element methods

ACM Transactions on Mathematical Software

Volumn 37, Issue 1, 2010, Pages

  Alnæs, Martin Sandve ^a   Mardal, Kent André ^a,b  

^a SIMULA RESEARCH LABORATORY   (Norway)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

Automation; Code generation; Compiler; Finite element; Metaprogramming; Variational forms

Indexed keywords

AUTOMATION CODES; C++ CODES; CODE GENERATION; COMPILED LANGUAGES; FINITE ELEMENT; FINITE-ELEMENT DISCRETIZATION; META PROGRAMMING; ORDERS OF MAGNITUDE; PROBLEM DEFINITION; RUN-TIME EFFICIENCY; SYMBOLIC COMPUTATION; SYMBOLIC EXPRESSION; SYMBOLIC MATHEMATICS; VARIATIONAL FORM; WEAK FORM;

ABSTRACTING; FINITE ELEMENT METHOD; HIGH LEVEL LANGUAGES; LINGUISTICS; NETWORK COMPONENTS;

PROGRAM COMPILERS;

EID: 76249129066     PISSN: 00983500     EISSN: 15577295     Source Type: Journal    
DOI: 10.1145/1644001.1644007     Document Type: Article

References (37)

1. ALNÆS, M., LANGTANGEN, H.-P., LOGG, A.,MARDAL, K.-A., AND SKAVHAUG, O. 2008. UFC Specification and User Manual. http//www.fenics.org/ufc/.
2. ALNÆS, M. AND MARDAL, K.-A. 2008. SyFi-Symbolic Finite Elements. http://www.fenics.org/ syfi/.
3. ALNÆS, M. S., LOGG, A., MARDAL, K.-A., SKAVHAUG, O., AND LANGTANGEN, H. P. 2009. Unified framework for finite element assembly. Int. J. Computa. Science Engin. 4, 4, 231-244. DOI. 10.1504/IJCSE.2009.029160.
4. ALNÆS, M. S.,MARDAL, K.-A., AND SUNDNES, J. 2007. Application of symbolic finite element tools to nonlinear hyperelasticity. In Proceedings of the 4th National Conference on Computational Mechanics (MekIT'07), B. Skallerud and H. Andersson, Eds. Tapir Academic Press, 87-101.
5. ARNOLD, D. N., FALK, R. S., AND WINTHER, R. 2007. Mixed finite element methods for linear elasticity with weakly imposed symmetry. Math. Comp. 76, 1699-1723.
6. BANGERTH,W., HARTMANN, R., AND KANSCHAT, G. 2007a. deal.II-a general-purpose object-oriented finite element library. ACM Trans. Math. Softw. 33, 4, Artice 24.
7. BANGERTH, W., HARTMANN, R., AND KANSCHAT, G. 2007b. deal.II: Differential Equations Analysis Library, Technical Reference. http://www.dealii.org.
8. BAUER, C., DAMS, C., FRINK, A., KISIL, V. V., KRECKEL, R., SHEPLYAKOV, A., AND VOLLINGA, J. 2007. GiNaC. http://www.ginac.de.
9. BAUER, C., FRINK, A., AND KRECKEL, R. 2002. Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language. J. Symbol. Comput. 33, 1-12.
10. BRUASET, A. M., LANGTANGEN, H. P., ET AL. 2006. Diffpack. http://www.diffpack.com/.
11. CROUZEIX, M. AND RAVIART, P. 1973. Conforming and non-conforming finite element methods for solving the stationary Stokes equations. RAIRO Anal. Nuḿer. 7, 33-76.
12. DULAR, P. AND GEUZAINE, C. 2006. GetDP: a General environment for the treatment of Discrete Problems. http://www.geuz.org/getdp/.
13. FENICS. 2008. FEniCS project. http//www.fenics.org/.
14. GRIEWANK, A. 1989. On automatic differentiation. In Mathematical Programming: Recent Developments and Applications, M. Iri and K. Tanabe, Eds. Kluwer Academic Publishers, Dordrecht, The Netherlands, 83-108.
15. HOFFMAN, J., JANSSON, J., LOGG, A., AND WELLS, G. N. 2008a. DOLFIN. http://www.fenics.org/dolfin/.
16. HOFFMAN, J., JANSSON, J., LOGG, A., AND WELLS, G. N. 2008b. DOLFIN User Manual. http://www.fenics.org/dolfin/.
17. KIRBY, R. C. 2004. FIAT: A new paradigm for computing finite element basis functions. ACM Trans. Math. Softw. 30, 4, 502-516.
18. KIRBY, R. C., KNEPLEY, M. G., LOGG, A., AND SCOTT, L. R. 2005. Optimizing the evaluation of finite element matrices. SIAM J. Sci. Comput. 27, 3, 741-758.
19. KIRBY, R. C. AND LOGG, A. 2006. A compiler for variational forms. ACM Trans. Math. Softw. 32, 3, 417-444.
20. KIRBY, R. C. AND LOGG, A. 2007. Efficient compilation of a class of variational forms. ACM Trans. Math. Softw. 33, 3.
21. KIRBY, R. C., LOGG, A., SCOTT, L. R., AND TERREL, A. R. 2006. Topological optimization of the evaluation of finite element matrices. SIAM J. Sci. Comput. 28, 1, 224-240.
22. LANGTANGEN,H. P. 2003. Computational Partial Differential Equations-Numerical Methods and Diffpack Programming, 2nd ed. Springer-Verlag, Berlin, Germany.
23. LOGG, A. 2008. FFC user manual. http//www.fenics.org/ffc/.
24. LOGG, A. ET AL. 2008. FFC. http//www.fenics.org/ffc/.
25. LONG, K. 2004. Efficient discretization and differentiation of partial differential equations through automatic functional differentiation. http://www.autodiff.org/ad04/abstracts/ Long.pdf.
26. LONG, K. 2006. Sundance. http://software.sandia.gov/sundance/.
27. MARDAL, K.-A., TAI, X.-C., ANDWINTHER, R. 2002. A robust finite element method for Darcy-Stokes flow. SIAM J. Numer. Anal. 40, 1605-1631.
28. MARDAL, K.-A. AND WESTLIE, M. 2008. Instant. http//www.fenics.org/ instant.
29. ŃED́ELEC, J.-C. 1980. Mixed finite elements in R3. Numer. Math. 35, 3, 315-341.
30. ŃED́ELEC, J.-C. 1986. A new family of mixed finite elements in R3. Numer. Math. 50, 1, 57-81.
31. PIRONNEAU, O., HECHT, F., HYARIC, A. L., AND OHTSUKA, K. 2006. FreeFEM. http://www.freefem.org/.
32. PRUD'HOMME, C. 2006. A domain specific embedded language in c++ for automatic differentiation, projection, integration and variational formulations. Sci. Program. 14, 2, 81-110.
33. RANNACHER, R. AND TUREK, S. 1992. Asimple nonconforming quadrilateral Stokes element. Numer. Meth. Part. Diff. Equat. 8, 97-111.
34. RAVIART, P. A. AND THOMAS, J.M. 1977. A mixed finite element method for 2-order elliptic problems. In Mathematical Aspects of Finite Element Methods. Lecture Notes in Mathematics, Vol.606. Springer Verlag, Berlin, Germany, 295-315.
35. SKAVHAUG, O. AND CERTIK, O. 2008. Swiginac. http://swiginac.berlios.de/.
36. SOLIN, P., SEGETH, K., AND DOLEZEL, I. 2004. Higher-Order Finite Element Methods. Chapman & Hall/CRC, Boca Raton, FL.
37. TADJOUDDINE, E. M. 2008. Vertex-ordering algorithms for automatic differentiation of computer codes. Comput. J. 51, 688-699.