Graphics and Symbolic, and Geometric Computation

This program supports fundamental research in areas where advanced algorithmic and computational techniques are coupled with mathematical methods of analysis. The specific program areas include computer graphics, computational geometry and topology, symbolic and algebraic computation, computational logic and automated deduction, computationally oriented numerical analysis, and mathematical optimization. The program encourages the integration of numeric, symbolic, geometric, and graphic techniques into problem-solving environments to support computational science and engineering. The program also supports advanced computational techniques aimed at modeling and simulation of physical processes, the design and construction of high quality mathematical computing software for scientific research, and experimental implementation when it is integral part of the research. Innovative applications of advanced computational and graphic techniques in scientific and engineering applications, manufacturing and design, proof support systems, prototypic and design verification are also welcome.