|
REVIEW:
What is the intellectual merit of the proposed activity?
The PI proposes to develop methodologies for addressing the
potential of computer Algebra to do research in Combinatorics and
related areas. He also proposes design experiemtns for
computer-assisted and computer-generated research.
What are the broader impacts of the proposed activity?
The methodology of computer-generated research will not only benefit the field of combinaorics, but also
should be applicable to many other parts of mathematics.
Summary Statement
While computer aided proof is not my speciality, one can see
clearly about the PI's enthusiatism on it. He has an amazing
productivity, within 1998--2003: he has a total of 31 publications;
he was very successful in advisi Ph.D students: 4 of his most recent ph.d Students working on his previous
grant all got tenure track positions, and he still has 4 more ph.d
student currently. However, I think the writing style of the proposal
is more like an assey than a proposal, he has a story behind many of
his results, and he presents many of his philosophies of mathematics in
the proposal. I think these are digresses
from what he proposes to do. In summary, I think the proposal is a
very good one, but the proposal is more mathematics in nature, and thus
is more approporiate for DMS instead CCF division.
|
