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
842000
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
442016
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
291986
A parallel discrete event IP network emulator
R Bradford, R Simmonds, B Unger
Proceedings 8th International Symposium on Modeling, Analysis and Simulationá…, 2000
282000
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
272015
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
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
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
232017
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
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
Effective tests for cyclotomic polynomials
RJ Bradford, JH Davenport
International Symposium on Symbolic and Algebraic Computation, 244-251, 1988
221988
The system can't perform the operation now. Try again later.
Articles 1–20