We show how symbolic modeling is used in the Simulation Problem Analys
is and Research Kernel (SPARK) for solving complex problems in buildin
g energy simulation. After a brief overview of SPARK, we describe its
symbolic interface, which reads equations that are entered in symbolic
form and automatically generates a program that solves the equations.
The application of this method to solving the partial differential eq
uations for two-dimensional heat flow is illustrated.