world of nic

I received all my degrees from the Department of Mathematical Sciences at the University of Bath

- BSc (hons) Mathematics 1992
- MSc Symbolic Computation 1993
- PhD Order Sorted Computer Algebra 1997

I’m mainly interested in pure maths, and by chance this has warped into an interest in many of the areas of computer algebra, and from there into the theory of object-oriented type systems

- The implementation of various algorithms for permutation groups in the computer algebra system: Axiom (1993)
- Order sorted computer algebra and coercions, 1997
- Automated coercion for Axiom, 1999

- parallel implementations of some group theory algorithms
- strongly typed computer algebra in Java (or maybe Groovy?)
- map/reduce in computer algebra systems

In 2003 Axiom became available under an open source licence but I still haven’t got around to adding anything to it.