Geometric optimization of the evaluation of finite element matrices

SIAM Journal on Scientific Computing

Volumn 29, Issue 2, 2007, Pages 827-841

  Kirby, Robert C ^a   Scott, L Ridgway ^b  

^a THE UNIVERSITY OF CHICAGO   (United States)

^b UNIVERSITY OF CHICAGO   (United States)

Author keywords

Finite element; Graph theory; Optimized algorithm; Variational form

Indexed keywords

ALGORITHMS; FINITE ELEMENT METHOD; OPTIMIZATION; TENSORS;

FINITE ELEMENT STIFFNESS MATRICES; OPTIMIZED ALGORITHMS;

MATRIX ALGEBRA;

EID: 41449109600     PISSN: 10648275     EISSN: None     Source Type: Journal    
DOI: 10.1137/060660722     Document Type: Article

References (21)

1. L. M. BATTEN AND A. BEUTELSPACHER, The Theory of Finite Linear Spaces: Combinatorics of Points and Lines, Cambridge University Press, Cambridge, 1993.
2. G. BAUMGARTNER, A. AUER, D. E. BERNHOLDT, A. BIBIREATA, V. CHOPPELLA, D. COCIORVA, X. GAO, R. J. HARRISON, S. HIRATA, S. KRISHNAMOORTHY, S. KRISHNAN, C.-C. LAM, Q. LU, M. NOOIJEN, R. M. PITZER, J. RAMANUJAM, P. SADAYAPPAN, AND A. SIBIRYAKOV, Synthesis of high-performance parallel programs for a class of ab initio quantum chemistry models, Proc. IEEE, 93 (2005), pp. 267-292.
3. P. BIENTINESI, E. S. QUINTANA-ORTÍ, AND R. A. VAN DE GEUN, Representing linear algebra algorithms in code: The FLAME application programming interfaces, ACM Trans. Math. Software, 31 (2005), pp. 27-59.
4. J. W. COOLEY AND J. W. TUKEY, An algorithm for the machine calculation of complex Fourier series, Math. Comp., 19 (1965), pp. 297-301.
5. E. W. DUKSTRA, A note on two problems in connexion with graphs, Numer. Math., 1 (1959), pp. 269-271.
6. S. EGNER AND M. PÜSCHEL, Automatic generation of fast discrete signal transforms, IEEE Trans. Signal Process., 49 (2001), pp. 1992-2002.
7. P. ERDOS, On the combinatorial problems which I would most like to see solved, Combinatorica, 1 (1981), pp. 25-42.
8. J. A. GUNNELS, F. G. GUSTAVSON, G. M. HENRY, AND R. A. VAN DE GEUN, FLAME: Formal linear algebra methods environment, ACM Trans. Math. Software, 27 (2001), pp. 422-455.
9. R. M. KARP, Reducibility among combinatorial problems, in Complexity of Computer Computations, R. Miller and J. W. Thatcher, eds., Plenum Press, New York, 1972, pp. 85-104.
10. R. C. KIRBY, M. KNEPLEY, A. LOGG, AND L. R. SCOTT, Optimizing the evaluation of finite element matrices, SIAM J. Sci. Comput., 27 (2005), pp. 741-758.
11. R. C. KIRBY AND A. LOGG, A compiler for variational forms, ACM Trans. Math. Software, 32 (2006), pp. 417-444.
12. R. C. KIRBY AND A. LOGG, Efficient compilation of a class of variational forms, ACM Trans. Math. Software, 33 (2007), to appear.
13. R. C. KIRBY, A. LOGG, L. R. SCOTT, AND A. R. TERREL, Topological optimization of the evaluation of finite element matrices, SIAM J. Sci. Comput., 28 (2006), pp. 224-240.
14. H. KLEIN AND M. MARGRAF, On the linear intersection number of graphs, preprint, 2003, http://arXiv.org/PS_cache/math/pdf/0305/ 0305073.pdf.
15. R. MENDRIS AND P. ZLATOS, Axiomatization and undecidability results for metrizable betweenness relations, Proc. Amer. Math. Soc, 123 (1995), pp. 873-882.
16. K. NEHRING, A Theory of Qualitative Similarity, Technical Report 10, U.C. Davis, Davis, CA, 1997; available online at http://www.econ.ucdavis.edu/working_papers/97-10.pdf.
17. K. NEHRING AND C. PUPPE, Diversity and dissimilarity in lines and hierarchies, Math. Social Sci., 45 (2003), pp. 167-183.
18. R. PRIM, Shortest connection networks and some generalizations, Bell System Tech. J., 36 (1957), pp. 1389-1401.
19. M. PÜSCHEL, J. M. F. MOURA, J. JOHNSON, D. PADUA, M. VELOSO, B. W. SINGER, J. XIONG, F. FRANCHETTI, A. GAČIĆ, Y. VORONENKO, K. CHEN, R. W. JOHNSON, AND N. RIZZOLO, SPIRAL: Code generation for DSP transforms, Proc. IEEE, 93 (2005), pp. 232-275 (special issue on "Program Generation, Optimization, and Adaptation").
20. R. C. WHALEY AND J. DONGARRA, Automatically tuned linear algebra software, in Proceedings of SuperComputing 1998: High Performance Networking and Computing, 1998 (CDROM); available online at http://www.cs.utsa.edu/~whaley/papers/atlas_sc98.ps.
21. H. WHITNEY, On the abstract properties of linear dependence, Amer. J. Math., 57 (1935), pp. 509-533.