CMSC656 Symbolic and Algebraic Processing

Description:

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

office hours: MW 3:00-4:00pm and 6:45-.. pm
office: ECS 225K
phone: (410) 455-2338
Email: lomonaco@cs.umbc.edu

Teaching Assistant (fall '94): Vasileios Megalooikonomou

office hours: MW 3:00-4:00pm
office: ECS 233C
phone: (410) 455-2667
Email: megaloik@cs.umbc.edu

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

Exam I (25%): Mon, Oct. 31
Exam II (25%): Wed, Nov. 30
Final (25%):
Projects (25%)

Projects (fall '94):

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