Simlab Project Approach:

Exploit powerful synergy between geometric modeling, symbolic mathematics, formal methods, numerical analysis and compilation/code generation.
Develop highly flexible tools for manipulating mathematical objects.
Use transformation technologies to convert a high-level mixed mathematical/programming language into retargetable executable code.

This presentation has shown how a few of the tools we've developed (as in the second point above) can be used. A primary design goal of the SimLab environment is to represent a variety of mathematical and physical models in a uniform framework. The SimLab environment is capable of representing algebraic objects, operations and transformations using the Weyl/SPL Transformation Environment. Beyond algebraic computation, discrete topological computation is supported, both for creating Guaranteed Quality Meshes and for the Chains Programming Language.

Our goal is to use these tools to achieve the following objectives:

Qualitative improvement in ability to carry out engineering analyses.
Corresponding improvements in research, design, and engineering.
Improve multiple-domain simulator technology necessary for complex systems such as engines or aircraft.
Automatic retargeting of engineering analysis codes between high performance parallel machines.