Russell J. Bradford

Publication Activity (10 Years)

Years Active: 1985-2021
Publications (10 Years): 17

Top Topics

Decomposition Methods

Biological Networks

Graphics Processing Units

Quantifier Elimination

Top Venues

J. Symb. Comput.

MKM/Calculemus/DML

Publications

Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. ACM Commun. Comput. Algebra 55 (3) (2021)
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition. CoRR (2021)
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
Identifying the parametric occurrence of multiple steady states for some biological networks. J. Symb. Comput. 98 (2020)
Matthew England, Russell J. Bradford, James H. Davenport
Cylindrical algebraic decomposition with equational constraints. J. Symb. Comput. 100 (2020)
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. CoRR (2019)
Russell J. Bradford, Christopher J. Sangwin, Supreeth P. Shashikumar, Shamim Nemati
Does the "Artificial Intelligence Clinician" learn optimal treatment strategies for sepsis in intensive care? CoRR (2019)
Matthew England, Russell J. Bradford, James H. Davenport
Cylindrical Algebraic Decomposition with Equational Constraints. CoRR (2019)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. CoRR (2018)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Quantifier Elimination for Reasoning in Economics. CoRR (2018)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. SC-Square@FLOC (2018)
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
A Case Study on the Parametric Occurrence of Multiple Steady States. ISSAC (2017)
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
A Case Study on the Parametric Occurrence of Multiple Steady States. CoRR (2017)
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
Truth table invariant cylindrical algebraic decomposition. J. Symb. Comput. 76 (2016)
Ralph Potter, Russell J. Bradford, Alastair Murray, Uwe Dolinsky
A C++ Programming Model for Heterogeneous System Architecture. ISC Workshops (2016)
Ralph Potter, Paul Keir, Russell J. Bradford, Alastair Murray
Kernel composition in SYCL. IWOCL (2015)
Matthew England, Russell J. Bradford, James H. Davenport
Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. ISSAC (2015)
Matthew England, Russell J. Bradford, James H. Davenport
Improving the use of equational constraints in cylindrical algebraic decomposition. CoRR (2015)
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CoRR (2014)
David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England
Cylindrical Algebraic Sub-Decompositions. CoRR (2014)
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CASC (2014)
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
Truth Table Invariant Cylindrical Algebraic Decomposition. CoRR (2014)
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. ICMS (2014)
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR (2014)
Victor Lazzarini, John ffitch, Joseph Timoney, Russell J. Bradford
Streaming Spectral Processing with Consumer-Level Graphics Processing Units. DAFx (2014)
David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport
Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. SYNASC (2014)
Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. ICMS (2014)
David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport
Using the distribution of cells by dimension in a cylindrical algebraic decomposition. CoRR (2014)
Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting. CoRR (2014)
Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James H. Davenport, David J. Wilson
Branch cuts in maple 17. ACM Commun. Comput. Algebra 48 (1/2) (2014)
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. CICM (2014)
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR (2014)
David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England
Cylindrical Algebraic Sub-Decompositions. Math. Comput. Sci. 8 (2) (2014)
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
Cylindrical algebraic decompositions for boolean combinations. ISSAC (2013)
David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford
A "Piano Movers" Problem Reformulated. SYNASC (2013)
Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson
Optimising Problem Formulation for Cylindrical Algebraic Decomposition CoRR (2013)
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
Understanding Branch Cuts of Expressions CoRR (2013)
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
Understanding Branch Cuts of Expressions. MKM/Calculemus/DML (2013)
Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson
Optimising Problem Formulation for Cylindrical Algebraic Decomposition. MKM/Calculemus/DML (2013)
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
Cylindrical Algebraic Decompositions for Boolean Combinations CoRR (2013)
Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James Harold Davenport, David J. Wilson
Branch Cuts in Maple 17. CoRR (2013)
David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford
A "Piano Movers" Problem Reformulated. CoRR (2013)
David J. Wilson, Russell J. Bradford, James H. Davenport
Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases CoRR (2012)
James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson
Program Verification in the presence of complex numbers, functions with branch cuts etc CoRR (2012)
David J. Wilson, Russell J. Bradford, James H. Davenport
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases. AISC/MKM/Calculemus (2012)
David J. Wilson, Russell J. Bradford, James H. Davenport
A repository for CAD examples. ACM Commun. Comput. Algebra 46 (3/4) (2012)
James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson
Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. SYNASC (2012)
Saif Al-Kuwari, James H. Davenport, Russell J. Bradford
Cryptographic Hash Functions: Recent Design Trends and Security Notions. IACR Cryptol. ePrint Arch. 2011 (2011)
Russell J. Bradford, John ffitch, Richard W. Dobson
Real-time Sliding Phase Vocoder using a Commodity GPU. ICMC (2011)
Nalina Phisanbut, Russell J. Bradford, James H. Davenport
Geometry of branch cuts. ACM Commun. Comput. Algebra 44 (3/4) (2010)
Russell J. Bradford, James H. Davenport, Christopher J. Sangwin
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy. Calculemus/MKM (2009)
Richard W. Dobson, John ffitch, Russell J. Bradford
High-Performance audio Computing - a position Paper. ICMC (2008)
Russell J. Bradford, Richard W. Dobson, John ffitch
The sliding phase vocoder. ICMC (2007)
James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
Testing elementary function identities using CAD. Appl. Algebra Eng. Commun. Comput. 18 (6) (2007)
James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
Adherence is better than adjacency: computing the Riemann index using CAD. ISSAC (2005)
Russell J. Bradford, Richard W. Dobson, John ffitch
Sliding is smoother than jumping. ICMC (2005)
James C. Beaumont, Nalina Phisanbut, Russell J. Bradford
Practical Simplification of Elementary Functions Using CAD. Algorithmic Algebra and Logic (2005)
James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
A poly-algorithmic approach to simplifying elementary functions. ISSAC (2004)
James C. Beaumont, Russell J. Bradford, James H. Davenport
Better simplification of elementary functions through power series. ISSAC (2003)
Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt
Reasoning about the Elementary Functions of Complex Analysis. Ann. Math. Artif. Intell. 36 (3) (2002)
Russell J. Bradford, James H. Davenport
Towards better simplification of elementary functions. ISSAC (2002)
Rob Simmonds, Carey L. Williamson, Russell J. Bradford, Martin F. Arlitt, Brian W. Unger
Web server benchmarking using parallel WAN emulation. SIGMETRICS (2002)
Russell J. Bradford, Rob Simmonds, Brian W. Unger
Packet Reading for Network Emulation. MASCOTS (2001)
Rob Simmonds, Russell J. Bradford, Brian W. Unger
Applying parallel discrete event simulation to network emulation. PADS (2000)
Russell J. Bradford, Rob Simmonds, Brian W. Unger
A Parallel Discrete Event IP Network Emulator. MASCOTS (2000)
David Power, Russell J. Bradford
A Library for Parallel Modular Arithmetic. Euro-Par (1999)
Julian A. Padget, Russell J. Bradford
A pi-calculus Model of a Spanish Fish Market - Preliminary Report. AMET (1998)
Russell J. Bradford, Alun Thomas
Markov chain Monte Carlo methods for family trees using a parallel processor. Stat. Comput. 6 (1) (1996)
Russell J. Bradford
An implementation of Telos in Common Lisp. Object Oriented Syst. 3 (1996)
Michael C. Fairhurst, N. Higson, C. Clar, Russell J. Bradford, W. Clark, E. Pringle
Automatic Image Processing in Developmental Testing of Visual-Motor Integration. ICCHP (1994)
Russell J. Bradford, David De Roure
EuLisp in Education. LISP Symb. Comput. 6 (1-2) (1993)
Russell J. Bradford
Algebraic Simplification of Multiple-Valued Functions. DISCO (1992)
Julian A. Padget, Russell J. Bradford, John P. Fitch
Concurrent Object-Oriented Programming in Lisp. Comput. J. 34 (4) (1991)
Russell J. Bradford
A Parallelization of the Buchberger Algorithm. ISSAC (1990)
Russell J. Bradford
Some Results on the Defect. ISSAC (1989)
Russell J. Bradford, James H. Davenport
Effective Tests for Cyclotonic Polynomials. ISSAC (1988)
Russell J. Bradford
Hermite normal forms for integer matrices. EUROCAL (1987)
John A. Abbott, Russell J. Bradford, James H. Davenport
Factorisation of Polynominals: Old Ideas and Recent Results. Trends in Computer Algebra (1987)
Russell J. Bradford, Anthony C. Hearn, Julian A. Padget, Eberhard Schrüfer
Enlarging the REDUCE domain of computation. SYMSAC (1986)
John A. Abbott, Russell J. Bradford, James H. Davenport
The Bath algebraic number package. SYMSAC (1986)
John A. Abbott, Russell J. Bradford, James H. Davenport
A remark on factorisation. SIGSAM Bull. 19 (2) (1985)