CMSC656 Symbolic and Algebraic Processing


Applications and foundations of Symbolic Algebra. Applications and examples are studied using the Maple symbolic algebra package. Symbolic algebra combines elements of AI, analysis of algorithms, and abstract algebra. Foundations include problems of representation, canonical and normal forms, polynomial simplification, Chinese remainder algorithms, g.c.d. in one and several variables, p-adic methods, Hensel construction, Newton's iteration, Buchberger's algorithm and formal methods for integration.

Course location (fall '94): Rm ECS 333 & CP 209

Meeting times (fall '94): MW 4:00-5:15pm

Instructor (fall '94): Dr. Samuel Lomonaco

Teaching Assistant (fall '94): Vasileios Megalooikonomou

Course activities with their relative weights and dates (fall '94)

Projects (fall '94):

    Project1 (txt)
    Project2 (txt)
    Project3 (ps,tex)
    Project4 (ps,tex)
    Project5 (ps,tex)
    Project6 (ps,tex)