[T4] ================================================ AMAST Links 02 07

                      Computation in maths: AXIOM

  I am a user of the computer algebra system AXIOM, which has a 
sophisticated type structure for math concepts and structures. 

  I would be pleased to know of other users, and would be glad to give
further information to anyone interested. There is a preprint:

   Domains of data and domains of terms in AXIOM
   by R Brown and W Dreckmann

which includes a batch of AXIOM code for free groupoids and categories
on directed graphs. 

  Ronnie Brown

   Prof R. Brown                                   
   School of Mathematics                            
   Dean St                                           
   University of Wales                          
   Bangor                                             
   Gwynedd LL57 1UT                             
   UK
   Tel: (direct)  +44 1248 382474  
   (office) +44 1248 382475
   Fax: +44 1248 355881
   email: mas010@bangor.ac.uk
   wwweb for maths : http://www.bangor.ac.uk/ma