Russell Bradford
Russell Bradford
Computer Science, University of Bath
Verified email at cs.bath.ac.uk
Title
Cited by
Cited by
Year
Applying parallel discrete event simulation to network emulation
R Simmonds, R Bradford, B Unger
Proceedings Fourteenth Workshop on Parallel and Distributed Simulation, 15-22, 2000
852000
Reasoning about the elementary functions of complex analysis
R Bradford, RM Corless, JH Davenport, DJ Jeffrey, SM Watt
Annals of Mathematics and Artificial Intelligence 36 (3), 303-318, 2002
542002
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
452016
Optimising problem formulation for cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, D Wilson
International Conference on Intelligent Computer Mathematics, 19-34, 2013
402013
Cylindrical algebraic decompositions for boolean combinations
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Proceedings of the 38th International Symposium on Symbolic and Algebraicá…, 2013
402013
Towards better simplification of elementary functions
R Bradford, JH Davenport
Proceedings of the 2002 international symposium on Symbolic and algebraicá…, 2002
402002
A π-calculus model of a spanish fish market—preliminary report—
J Padget, R Bradford
International Workshop on Agent-Mediated Electronic Trading, 166-188, 1998
391998
Program verification in the presence of complex numbers, functions with branch cuts etc
JH Davenport, R Bradford, M England, D Wilson
2012 14th International Symposium on Symbolic and Numeric Algorithms forá…, 2012
352012
Cryptographic hash functions: recent design trends and security notions.
S Al-Kuwari, JH Davenport, RJ Bradford
IACR Cryptol. ePrint Arch. 2011, 565, 2011
332011
Enlarging the REDUCE domain of computation
RJ Bradford, AC Hearn, JA Padget, E SchrŘfer
Proceedings of the fifth ACM symposium on Symbolic and algebraic computationá…, 1986
301986
A parallel discrete event IP network emulator
R Bradford, R Simmonds, B Unger
Proceedings 8th International Symposium on Modeling, Analysis and Simulationá…, 2000
292000
Improving the use of equational constraints in cylindrical algebraic decomposition
M England, R Bradford, JH Davenport
Proceedings of the 2015 ACM on International Symposium on Symbolic andá…, 2015
282015
Truth table invariant cylindrical algebraic decomposition by regular chains
R Bradford, C Chen, JH Davenport, M England, MM Maza, D Wilson
International Workshop on Computer Algebra in Scientific Computing, 44-58, 2014
272014
Truth table invariant cylindrical algebraic decomposition by regular chains
R Bradford, C Chen, JH Davenport, M England, MM Maza, D Wilson
International Workshop on Computer Algebra in Scientific Computing, 44-58, 2014
272014
The Bath algebraic number package
JA Abbott, RJ Bradford, JH Davenport
Proceedings of the fifth ACM symposium on Symbolic and algebraic computationá…, 1986
261986
A case study on the parametric occurrence of multiple steady states
R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ...
Proceedings of the 2017 ACM on International Symposium on Symbolic andá…, 2017
252017
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting
M England, D Wilson, R Bradford, JH Davenport
International Congress on Mathematical Software, 458-465, 2014
242014
Speeding up cylindrical algebraic decomposition by Gr÷bner bases
DJ Wilson, RJ Bradford, JH Davenport
International Conference on Intelligent Computer Mathematics, 280-294, 2012
232012
Cylindrical algebraic sub-decompositions
DJ Wilson, RJ Bradford, JH Davenport, M England
Mathematics in Computer Science 8 (2), 263-288, 2014
222014
Reasoning about the elementary functions of complex analysis
RM Corless, JH Davenport, DJ Jeffrey, G Litt, SM Watt
International Conference on Artificial Intelligence and Symbolic Computationá…, 2000
222000
The system can't perform the operation now. Try again later.
Articles 1–20