Atlas home || Conferences | Abstracts | about Atlas

Texas Symbolic Computation Week (TSCW'2000) Intensive Course on Gröbner Bases and Automated Theorem Proving

March 1-9, 2000

Beaumont, TX, USA

Mathematics

Host: Department of Computer Science, Lamar University
Homepage: http://symbolic.cs.lamar.edu/~tscw2000/

Organizers: Dr. Quoc-Nam Tran, Dr. Lawrence Osborne

Description:
The purpose of this intensive course is for helping graduate students, postdocs, and other researchers who want to obtain a quick but in-depth introduction to the theory of Gröbner bases, automated theorem proving and their fundamental applications.

Date received: March 03, 2000

© 2008 Atlas Conferences Inc.