| Project Approaches 
            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. Use formal methods to develop the
                basis of a communications mechanism between a
                variety of mathematical tools.  | Project Results  |