Objective
Algebraic systems are fundamental mathematical objects used in the formulation, modeling, and investigation of scientific, engineering, and industrial problems, of complex information, biological, and social systems, and of natural, financial, and economic phenomena. Computational studies of algebraic systems are foundational research in information science that requires sophisticated mathematical theories and methods and that has numerous applications in other domains. The main objective of this project is to study and compute the solutions of nonlinear algebraic systems and their structures and properties with selected target applications using exact or certified computation. The project consists of one main task of basic research on the design and implementation of fundamental algorithms and four tasks of applied research on computational geometry, algebraic cryptanalysis, global optimization, and algebraic biology. more...
