🚀 go-pugleaf

               Professor Larry Lambe
                Kent State University

                 The Axiom Environment:
            Object Oriented Mathematical Programming
                 Numeric and Symbolic Computing

Axiom (formerly called Scratchpad) is a language based on the notions
of domains and categories (see Jon Barwise's column in the Notices of
the AMS, Feb., 1989).  This talk will give an introduction to ``object
oriented mathematical programming'' using Axiom.  It will show how a
very high level of consistent mathematical representation can be
quickly obtained.

The notions of category, domain and package will be explained and the
Axiom compiler will be discussed.  By gaining a familiarity with the
Axiom compiler the user can extend the system or consistently bend it
in several directions if needed.  It will also be shown how an
interface to external libraries can quickly be developed and used
through an example which calls a NAG numeric library routine to
calculate and return a list of definite integrals.

               THURSDAY, FEBRUARY 25, 1993
               AMOS EATON 214, 4:00 - 5:00 P.M.
                   REFRESHMENTS 3:30 P.M.

             Hosts: Erich Kaltofen & Dave Musser