Software for the Working Mathematician
Working mathematicians are often too busy to sort through software that
might or might not be useful to them. This conference is designed with this
in mind. Thus there will be demonstrations of a variety of software packages,
presented in a leisurely fashion, with time for questions and discussion.
There will be a number of intermissions, with a liberal sprinkling of coffee
and other refreshments during the day. The lectures will be held in a beautiful
auditorium, the province of the Music Department of CCNY, in Shepard Hall,
a grand building which houses the Great Hall of the College. A CD which
contains a host of software, including everything that will have been demonstrated,
will be made available to the participants. Lunch will also be provided free
of charge. This should be an enjoyable, stress-free experience and everyone
is cordially invited to attend and particpate. We expressly want to invite
some of the hardest working members of the profession, the teachers, to join
in what might be thought of as the celebration of the coming summer, after
such a hard winter.
Speakers:
- Anil Nerode (Cornell University) "The Emerging Role of Symbolic Computation
in Science and Technology"
- Walter Neumann (Barnard College, Columbia University) "Software for
3-manifolds and knots"
- William Sit (City College of CUNY) "AXIOM, an Introduction to a Scientific
Computing System"
- Benjamin Fine (Fairfield University) "CAISS-Stat : A Graphical Interface
Full Statistical Analysis Program"
- Jason Hickey (Caltech) "Formal Abstract Algebra in the MetaPRL Logical
Framework"
- Robert Lewis (Fordham University) "Using Fermat to Solve Large Polynomial
and Matrix Problems"
- Steve Linton (University of St. Andrews, Scotland) "GAP:Groups, Algorithms
and Programming"
Schedule of talks
Abstracts of talks
Directions to campus
Printable flier
All lectures will be held in Shepard 95, the Music Recital Hall with
refreshements and lunch provided.
Please let us know if you plan to come by emailing
Sean Cleary
or Bernice Ravitz
or calling (212) 650-5167. Up-to-date information is available on our webpages
at www.grouptheory.org
and www.caissny.org
This event is sponsored by the CUNY Faculty Development Program, the
CCNY Dean of Science Maria Tamargo, the CCNY Dean of Engineering Mohammad
Karim and the CCNY Department of Computer Science and is hosted by the Center
of Algorithms and Interactive Scientific Software (CAISS) and the New York
Group Theory Cooperative.
Organized by
Gilbert Baumslag
, Sean Cleary
, Sergei Artemov
, Walter Neumann
, William
Sit
Douglas Troeger
.
|
Computer
Science Colloquium Start page