Russell Bradford

University of Bath — United Kingdom

Computer Science · Physical Sciences

19h-index1.0kcitations85works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Polynomial and algebraic computation(32), Advanced Numerical Analysis Techniques(16), Logic, programming, and type systems(9), Numerical Methods and Algorithms(8), Distributed and Parallel Computing Systems(7)

Publications85 total

The DEWCAD project
ACM communications in computer algebra·2021· 3 cited
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition
arXiv (Cornell University)·2021Open Access
Cylindrical algebraic decomposition with equational constraints
Journal of Symbolic Computation·2019· 24 citedOpen Access
Identifying the parametric occurrence of multiple steady states for some biological networks
Journal of Symbolic Computation·2019· 29 citedOpen Access
Dataset supporting the paper: "Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks"
Zenodo (CERN European Organization for Nuclear Research)·2019Open Access
Dataset supporting the paper: "Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks"
Figshare·2019Open Access
Does the "Artificial Intelligence Clinician" learn optimal treatment strategies for sepsis in intensive care?
arXiv (Cornell University)·2019· 9 citedOpen Access
Dataset supporting the paper: "Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks"
Zenodo (CERN European Organization for Nuclear Research)·2019Open Access
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics
arXiv (Cornell University)·2018· 2 citedOpen Access
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning\n in Economics
arXiv (Cornell University)·2018Open Access
Efficient characterisation of large deviations using population dynamics
Journal of Statistical Mechanics Theory and Experiment·2018· 22 citedOpen Access
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics
2018· 11 citedOpen Access
Quantifier Elimination for Reasoning in Economics
arXiv (Cornell University)·2018· 3 citedOpen Access
Datset Of Automated Economic Reasoning Problems For Qe / Smt
2018Open Access
Datset Of Automated Economic Reasoning Problems For Qe / Smt
2018Open Access
Datset Of Automated Economic Reasoning Problems For Qe / Smt
Zenodo (CERN European Organization for Nuclear Research)·2018Open Access
A Case Study on the Parametric Occurrence of Multiple Steady States
2017· 31 citedOpen Access
Dataset Supporting The Paper: "A Case Study On The Parametric Occurrence Of Multiple Steady States"
Zenodo (CERN European Organization for Nuclear Research)·2017Open Access
Dataset Supporting The Paper: "A Case Study On The Parametric Occurrence Of Multiple Steady States"
Zenodo (CERN European Organization for Nuclear Research)·2017Open Access
A C++ Programming Model for Heterogeneous System Architecture
Lecture notes in computer science·2016· 1 cited
page 1 of 5Next →

Frequent Co-authors

James H. Davenport(29), Matthew England(14), David J. D. Wilson(12), Rob Simmonds(5), Brian Unger(5), James C. Beaumont(5), Nalina Phisanbut(5), John ffitch(4), Richard W. Dobson(3), Scott McCallum(2), Hassan Errami(2), Vladimir P. Gerdt(2), Dima Grigoriev(2), Charles Tapley Hoyt(2), Marek Košta(2), Ovidiu Radulescu(2), Thomas Sturm(2), Andreas Weber⋆(2), Changbo Chen(2), Marc Moreno Maza(2)