CONTACT(S)
Robert B. Grafton, Program Director

SCOPE
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.
RELATED INFO

Abstracts of Awards
|