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
Dive into the research topics where Russell Bradford is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition
Davenport, J. (PI) & Bradford, R. (CoI)
Engineering and Physical Sciences Research Council
1/01/21 → 31/03/25
Project: Research council
-
Real Geometry and Connectedness via Triangular Description
Davenport, J. (PI), Bradford, R. (CoI), England, M. (CoI) & Wilson, D. (CoI)
Engineering and Physical Sciences Research Council
1/10/11 → 31/12/15
Project: Research council
Research output
-
The DEWCAD project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition
Bradford, R., Davenport, J. H., England, M., Sadeghimanesh, A. & Uncu, A., 12 Jan 2022, In: ACM Communications in Computer Algebra. 55, 3, p. 107-111 5 p.Research output: Contribution to journal › Article › peer-review
Open Access4 Citations (SciVal) -
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition
Bradford, R., Davenport, J., England, M., Sadeghimanesh, A. & Uncu, A., 16 Jun 2021, (Acceptance date). 5 p.Research output: Contribution to conference › Paper › peer-review
Open Access -
Cylindrical algebraic decomposition with equational constraints
England, M., Bradford, R. & Davenport, J. H., 30 Sept 2020, In: Journal of Symbolic Computation. 100, p. 38-71 34 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile19 Citations (SciVal)71 Downloads (Pure) -
Identifying the parametric occurrence of multiple steady states for some biological networks
Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 1 May 2020, In: Journal of Symbolic Computation. 98, p. 84-119 36 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile21 Citations (SciVal)51 Downloads (Pure) -
Foreword
Davenport, J., Wang, D., Kauers, M. & Bradford, R., 8 Jul 2019, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC. New York, U. S. A.: Association for Computing Machinery, p. III-IV 2 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).Research output: Chapter or section in a book/report/conference proceeding › Foreword/postscript
Datasets
-
Data for 'Efficient characterisation of large deviations using population dynamics'
Brewer, T. (Creator), Jack, R. (Creator), Clark, S. (Supervisor) & Bradford, R. (Supervisor), 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
Bradford, R. (Creator), Davenport, J. (Creator), England, M. (Creator), McCallum, S. (Creator) & Wilson, D. (Creator), University of Bath, 2015
DOI: 10.15125/BATH-00076
Dataset