Example Bank:

The current CAD example bank can be found on the Example Bank page.

Triangular Seminar:

I currently take the notes for the "Real Geometray and Connectedness via Triangular Description" group's seminar. The notes from last year and the current version of this year are available for download.

Help Sheets:

I have written a (hopefully) helpful worksheet for the Maple RegularChains package which contains algorithms for triangular decomposition and cylindrical algebraic decomposition (amongst many many other things).

I have also got a QEPCAD reference document which details how to access QEPCAD from inside the computer science department (running bash) and then instructions on how to use the application in a basic way.

LayeredCADs:

I have recently been working on a new concept called

**Layered CADs**. These comprise of only the cells of certain dimensions within a CAD, have some nice properties and promising applications. My work currently consists of a Technical Report and a Maple package called

*LayeredCAD*which is given in the LCAD.mpl file which builds on the ProjectionCAD.mpl package.(These now replace the layeredCAD.mm and layeredTTICAD.mm files. This earlier package is described in a Help Worksheet which should be saved in the same directory as the two .mm files.)

Conferences and Seminars

Here is a list of past and upcoming conferences I have attended or will be going to attend.

- 30/11/11 -- London Mathematical Society
**BCS-FACS Evening Seminar**, London, UK. - 09/01/12 -- Isaac Newton Institute for Mathematical Sciences
**"The Mathematical Legacy of Alan Turing**(an LMS Spitalfields Day), Cambridge, UK. - 12/03/12-16/03/12 -- INRIA
**International Spring School on Formalization of Mathematics (MAP 2012)**, Sophia-Antipolis, France. A copy of my notes can be found here (taken in LaTeX so presumably with a few errors). - 18/06/12-21/06/12 -- SIAM
**Conference on Discrete Mathematics**(talking at minisymposium), Halifax, Canada. - 24/06/12-28/06/12 --
**CAIMS Meeting 2012**(talking at minisymposium), Toronto, Canada. - 09/07/12-14/07/12 --
**Calculemus 2012**(part of CICM 2012), Bremen, Germany. - 22/07/12-25/07/12 --
**ISSAC 2012**(International Symposium on Symbolic and Algebraic Computation), Grenoble, France. - 25/03/13 -- British Colloquium for Theoretical Computer Science
**BCTCS 2013**(Presenting a contributed talk), Bath, UK. - NAG Cuda Workshop
- ISSAC 2013
- Calculemus 2013