Automatic synthesis of numerical codes for solving partial differential equations

Abstract

SciNapse provides a problem solving environment for engineers, scientists, mathematicians and others interested in numerical modeling. In particular, SciNapse applies finite difference methods to transform a mathematical modeling problem specification into an executable numerical program. A problem specification typically includes a description of an initial boundary value problem, and, optionally, the names of algorithms to be used in solving the problem, gridding information, and variable initialization and format information. From a specification that is typically less than half a page, SciNapse can generate hundreds of lines of code in either Fortran or C. SciNapse's power is derived from its careful integration of computer algebra with program transformation and object-based representation of mathematical concepts.