Subject: computation in maths: AXIOM

From: [email-masked] (Prof R. Brown)
Date: Wed, 16 Aug 1995 14:21:11 +0100

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: [email-masked]
 wwweb for maths: http: //www.bangor.ac.uk/ma