Conference Topics
 Algorithmic Mathematics
 Algebraic, symbolic and symbolicnumeric
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.
 Applications
 Problem treatments using algebraic, logic, symbolic or
symbolicnumeric computation. Engineering, economics and finance,
physical and biological sciences, computer science, logic,
mathematics, statistics, education.
