Course Schedule and Catalog

Long Title: SYMBOLIC COMPUTATION

Department: Computer Science

Grade Mode: Standard Letter

Course Type: Lecture

Credit Hours: 3

Description: Fundamental and advanced topics in symbolic computationL symbolic-numerical arithmetic in basic domains, computing by homomorphic images, indefinite summation, computer analysis and the method of Groebner bases. The course also includes applications of symbolic computation to geometic modeling and theorem proving.