FINGER
FINGER: A symbolic system for automatic generation of numerical programs in finite element analysis FINGER is a LISP-based system to derive formulas needed in finite element analysis, and to generate FORTRAN code from these formulas. The generated programs can be used with existing, FORTRAN-based finite element analysis packages. This approach aims to replace tedious hand computations that are time consuming and error prone. The design and implementation of FINGER are presented. Techniques for generating efficient code are discussed. These include automatic intermediate expression labelling, interleaving formula derivation with code generation, exploiting symmetry through generated functions and subroutines. Current capabilities include generation of material matrices, strain-displacement matrices and stiffness matrices. FINGER contains a package, called GENTRAN, that translates symbolic formulas into FORTRAN. GENTRAN can generate functions, subroutines and entire programs. Thus, it is also of interest as a general-purpose FORTRAN code generator. Aside from the finite element application, the techniques developed and employed are useful for automatic code generation in general.
Keywords for this software
References in zbMATH (referenced in 25 articles , 1 standard article )
Showing results 1 to 20 of 25.
Sorted by year (- Alnæs, Martin S.; Logg, Anders; Ølgaard, Kristian B.; Rognes, Marie E.; Wells, Garth N.: Unified form language: a domain-specific language for weak formulations of partial differential equations (2014)
- Roque, C. M. C.: Symbolic and numerical analysis of plates in bending using Matlab (2014)
- Russell, Francis P.; Kelly, Paul H. J.: Optimized code generation for finite element local assembly using symbolic manipulation (2013)
- Seabra, Mariana R. R.; Cesar de Sa, Jose M. A.; Šuštarič, Primož; Rodič, Tomaž: Some numerical issues on the use of XFEM for ductile fracture (2012)
- Korelc, Jože: Automation of primal and sensitivity analysis of transient coupled problems (2009)
- Eyheramendy, D.; Zimmermann, Th.: Object-oriented finite elements. IV: Symbolic derivations and automatic programming of nonlinear formulations. (2001)
- Korelc, Joze: Hybrid system for multi-language and multi-environment generation of numerical codes (2001)
- Houstis, Elias N. (ed.); Rice, John R. (ed.); Gallopoulos, Efstratios (ed.); Bramley, Randall (ed.): Enabling technologies for computational science. Frameworks, middleware and environments (2000)
- Houstis, Elias N.; Rice, John R.: Future problem solving environments for computational science (2000)
- Eyheramendy, D.; Zimmermann, Th.: Object-oriented finite elements. III: Theory and application of automatic programming (1998)
- Korelc, Jože: Automatic generation of finite-element code by simultaneous optimization of expressions (1997)
- Leff, L. L.; Yun, D. Y. Y.: Symbolic math applications to constructive solid geometry and finite element analysis (1996)
- Reid, J. K.: Remark on “Fast floating-point processing in Common Lisp” (1996)
- Zimmermann, Th.; Eyheramendy, D.: Object-oriented finite elements. I: Principles of symbolic derivations and automatic programming. II: A symbolic environment for automatic programming (1996)
- Borst, W. N.; Goldman, V. V.; van Hulzen, J. A.: GENTRAN 90: A REDUCE package for the generation of Fortran 90 code (1994)
- Ioakimidis, N. I.: Elementary applications of MATHEMATICA to the solution of elasticity problems by the finite element method (1993)
- Barbier, Christine; Bettess, Peter; Bettess, Jacqueline A.: Automatic generation of mapping functions for infinite elements using REDUCE (1992)
- Donald, Bruce Randall (ed.); Kapur, Deepak (ed.); Mundy, Joseph L. (ed.): Symbolic and numerical computation for artificial intelligence. Workshop on the Integration of numerical and symbolic computing methods, held in Saratoga Springs, NY, USA, July 1990 (1992)
- Rice, John R.: Future research directions in problem solving environments for computational science. (With discussion) (1992)
- Viklund, Lars; Fritzson, Peter: An object-oriented language for symbolic computation -- applied to machine element analysis (1992)