- Algorithmic Mathematics
- Algebraic, symbolic and symbolic-numeric
algorithms. Manipulation of formulas from logic, simplification,
function manipulation, equations, summation, integration and
differentiation, ODE/PDE, linear algebra, number theory, group and
geometric computing, effective quantifier elimination.
- Formal Deduction
- Combination of methods or systems from computer
algebra and computer deduction, design and implementation issues in
integrated systems, formal method problems requiring mixed computing
and proving, case studies and applications.
- Computer Science
- Theoretical and practical problems in symbolic
computation. Systems, problem solving environments, user interfaces,
parallel/distributed computing, programming languages, theoretical
and practical complexity of computer algebra algorithms, code
generation, mathematical data structures and exchange protocols.
- Problem treatments using algebraic, logic, symbolic or
symbolic-numeric computation. Engineering, economics and finance,
physical and biological sciences, computer science, logic,
mathematics, statistics, education.