Symbolic Computations — 689 (Fall 2007) |
Course description:
Title: CPSC 689-605 — Special Topics in Symbolic Computations Class schedule: Tuesday and Thursday, 02:20pm - 03:35pm Room: ZACH 105B Web pages: http://courses.cs.tamu.edu/gdr/2007.fall/ Instructor: Dr. Gabriel Dos Reis Contact: gdr at cs.tamu.edu Office hours: By appointment (410C) Goals and purpose:
This course will examine the fundamentals of symbolic computations. The purpose is to familiarize students with exact and hybrid computations arising in the area of scientific software, compiler construction, engineering, etc. It will explore the principles and applications of contemporary computer algebra systems (e.g. Maple, Mathematica, OpenAxiom, MuPAD, etc.), based on recent developments.
Topics covered include
- introduction to a symbolic computation system
- polynomial systems and applications
- computation with algebraic numbers and applications
- algorithmic differentiation
- hybrid symbolic/numeric techniques
- discussions of fundamental techniques in application problems (e.g. robotics, compiler optimizations, computer aided design, molecular structures, etc.)