Projects per year

## Personal profile

### Research interests

Research interests include computer algebra; cryptography; design and implementation of object-oriented languages; simulation and emulation of networks; the mechanisation of various abstract nonsenses. Outside interests include karate, going to festivals and being generally distracted.

## Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- 2 Similar Profiles

##
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.

## Projects 2011 2015

- 1 Finished

### Real Geometry and Connectedness via Triangular Description

Davenport, J., Bradford, R., England, M. & Wilson, D.

1/10/11 → 31/12/15

Project: Research council

## Research Output 1985 2018

### Programming Models for Heterogeneous Systems with Application to Computer Graphics

Potter, R. 2018Research output: Thesis › Doctoral Thesis

### A case study on the parametric occurrence of multiple steady states

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A. 23 Jul 2017*ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation: Part F129312.*Association for Computing Machinery, p. 45-52 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

### A C++ Programming Model for Heterogeneous System Architecture

Potter, R., Bradford, R., Murray, A. & Dolinsky, U. 6 Oct 2016*High Performance Computing: ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers.*Taufer, M., Mohr, B. & Kunkel, J. M. (eds.). Springer International Publishing, p. 433-450 17 p. (Lecture Notes in Computer Science; vol. 9945)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

### Truth table invariant cylindrical algebraic decomposition

Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D. Sep 2016 In : Journal of Symbolic Computation. 76, p. 1-35Research output: Contribution to journal › Article

### Improving the use of equational constraints in cylindrical algebraic decomposition

England, M., Bradford, R. & Davenport, J. H. Jul 2015 p. 165-172Research output: Contribution to conference › Paper

## Datasets

### Data for 'Efficient characterisation of large deviations using population dynamics'

Brewer, T. (Creator), Jack, R. (Creator), University of Bath, 8 May 2018

DOI: 10.15125/BATH-00457

Dataset

### Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition

England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator), University of Bath, 2015

DOI: 10.15125/BATH-00071

Dataset

### Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition

England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator), McCallum, S. (Creator), Wilson, D. (Creator), University of Bath, 2015

DOI: 10.15125/BATH-00076

Dataset