The Bard College Laboratory for Algebraic and Symbolic Computation is committed to the advancement of the state of mathematical knowledge through computing.  The ASC Lab's goal is to extend the capabilities of existing theorem provers, model searchers, and computer algebra systems through improved connectivity and knowledge management.  Current domains of interest include universal algebra and the constraint satisfaction problem.

At ASC, Bard faculty, students, and staff work together to produce new theorems and algorithms, solve intricate problems within metadata design, and develop websites that integrate several complex software systems.

Faculty

John Cullinan, Number Theory
Samuel Hsiao, Discrete Mathematics
Robert McGrail, Computer Science
Lauren Rose,  Combinatorics
Japheth Wood, Universal Algebra

Student Research Assistants

Peter Golbus, Computer Science
Mona Merling, Mathematics
Mary Sharac, Computer Science

Support

The Laboratory for Algebraic and Symbolic Computation would like to acknowledge the following people for their support of ASC activities.

Dean Michèle Dominy
Dean Mark Halsey
The Computer Science Program
The Division of  Science, Mathematics, and Computing
The Faculty Resources Committee