Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

Automatic Generation of Numerical Code
Author

Jože Korelc
Organization: University of Ljubljana, Slovenia
Conference

2003 International Mathematica Symposium
Conference location

Imperial College, London
Description

This paper presents a hybrid system for automatic generation of numerical codes using a symbolic approach, with emphasis on finite element formulations where straightforward use of symbolic and algebraic systems leads to exponential growth of derived expresssions. The system comprises two major components. The Mathematica package AceGen is used for symbolic derivation of formulae needed in numerical procedures and automatic code generation. An approach implemented in AceGen overcomes the problem of expression growth by combining automatic differentiation, automatic code generation and theorem proving. The second component, named Computational Templates is a collection of prearranged modules for automatic creation of the interface between the finite element code and the finite element environment.
Subjects

*Mathematica Technology > Programming
*Mathematics > Foundations of Mathematics > Logic
Keywords

AceGen, automatic code generation, computational templates, numerical code
Related items

*Challenging the Boundaries of Symbolic Computation: Proceedings of the 5th International Mathematica Symposium   [in Books]
URL

http://www.fgg.uni-lj.si/Symech/