Computer Algebra Research Group

 Research  Meetings and Seminars  Staff  Students  CATHODE  REDUCE  GAP  MAGMA  Marie Curie Training Site

Research Areas

• Ordinary and partial differential equations
• Machine communication and display of mathematics
• REDUCE, GAP and MAGMA system development
• Computational group theory, graph theory, and finite geometry

Regular Discussion Meetings and Seminar Programmes

Staff

Current Students

CATHODE

We are the UK co-ordinating site for the ESPRIT programme CATHODE (Computer Algebra Tools for Handling Ordinary Differential Equations). The following links may be of particular interest.

• The CATHODE 2 Project home page
• The UK CATHODE 2 Project home page

REDUCE Development

We are a REDUCE development site. The directory of packages that we contribute to the development system, and other REDUCE code developed at QMW, can be accessed via the following links.

• REDUCE development system packages
• Latest versions of code by Thomas Wolf
• Other code by Francis Wright

GAP Development

We are long-time contributors to the development of the GAP system for discrete algebra, in particular in collection methods, matrix group algorithms and software, and the GRAPE package for computing with graphs and groups.

MAGMA Development

We are long-time contributors to the development of the MAGMA system for algebra, number theory and geometry, in particular in collection methods, algorithms for p-groups and soluble groups, and matrix group algorithms.

Marie Curie Training Site

The group has submitted a proposal to become a Marie Curie Training Site in "Computer Algebra for Differential Equations and Pure Algebra" (CADEPA). The proposal documents can be accessed here (in Adobe Portable Document Format -- PDF):

• Application form
• Supporting details

Marie Curie Training Site proposals have also been made by the following research groups within the School:

• Design Research Group
• Relativity Group
• Astronomy Unit