Russell Bradford
Russell Bradford
Computer Science, University of Bath
Email verificata su cs.bath.ac.uk
TitoloCitata daAnno
Applying parallel discrete event simulation to network emulation
R Simmonds, R Bradford, B Unger
Proceedings of the fourteenth workshop on Parallel and distributedá…, 2000
762000
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
482002
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
392013
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
Towards better simplification of elementary functions
R Bradford, JH Davenport
Proceedings of the 2002 international symposium on Symbolic and algebraicá…, 2002
382002
Optimising problem formulation for cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, D Wilson
International Conference on Intelligent Computer Mathematics, 19-34, 2013
362013
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
352016
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
322012
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
321986
A parallel discrete event IP network emulator
R Bradford, R Simmonds, B Unger
Proceedings 8th International Symposium on Modeling, Analysis and Simulationá…, 2000
292000
The Bath algebraic number package
JA Abbott, RJ Bradford, JH Davenport
Proceedings of the fifth ACM symposium on Symbolic and algebraic computationá…, 1986
251986
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
242014
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
242014
Improving the use of equational constraints in cylindrical algebraic decomposition
M England, R Bradford, JH Davenport
arXiv preprint arXiv:1501.04466, 2015
232015
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
232000
Speeding up cylindrical algebraic decomposition by Gr÷bner bases
DJ Wilson, RJ Bradford, JH Davenport
International Conference on Intelligent Computer Mathematics, 280-294, 2012
212012
Effective tests for cyclotomic polynomials
RJ Bradford, JH Davenport
International Symposium on Symbolic and Algebraic Computation, 244-251, 1988
211988
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
202014
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
M England, R Bradford, C Chen, JH Davenport, MM Maza, D Wilson
International Conference on Intelligent Computer Mathematics, 45-60, 2014
202014
Cryptographic hash functions: recent design trends and security notions.
S Al-Kuwari, JH Davenport, RJ Bradford
IACR Cryptology ePrint Archive 2011, 565, 2011
202011
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20