Edit Profile (opens in new tab) Bradford, Russell J. Co-Author Distance Author ID: bradford.russell-j Published as: Bradford, Russell; Bradford, Russell J.; Bradford, R. J.; Bradford, R. more...less Documents Indexed: 29 Publications since 1985 1 Contribution as Editor Co-Authors: 27 Co-Authors with 28 Joint Publications 656 Co-Co-Authors all top 5 Co-Authors 2 single-authored 27 Davenport, James Harold 15 England, Matthew 12 Wilson, David J. 4 Beaumont, James C. 4 Phisanbut, Nalina 2 Abbott, John A. 2 Chen, Changbo 2 Errami, Hassan 2 Gerdt, Vladimir Petrovich 2 Grigor’ev, Dmitriĭ Yur’evich 2 Hoyt, Charles Tapley 2 Košta, Marek 2 McCallum, Scott 2 Moreno Maza, Marc 2 Radulescu, Ovidiu 2 Sturm, Thomas 2 Weber, Andreas Günter 1 Brewer, Tobias 1 Cheb-Terrab, Edgardo S. 1 Clark, Stephen R. 1 Corless, Robert Malcolm 1 Jack, Robert L. 1 Jeffrey, David J. 1 Sadeghimanesh, AmirHosein 1 Sangwin, Christopher J. 1 Uncu, Ali Kemal 1 Watt, Stephen Michael all top 5 Serials 4 ACM Communications in Computer Algebra 3 Journal of Symbolic Computation 1 SIGSAM Bulletin 1 Applicable Algebra in Engineering, Communication and Computing 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Statistical Mechanics: Theory and Experiment 1 Mathematics in Computer Science all top 5 Fields 26 Computer science (68-XX) 7 Algebraic geometry (14-XX) 4 Commutative algebra (13-XX) 2 Mathematical logic and foundations (03-XX) 2 Number theory (11-XX) 2 Field theory and polynomials (12-XX) 2 Special functions (33-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 27 Publications have been cited 176 times in 65 Documents Cited by ▼ Year ▼ Truth table invariant cylindrical algebraic decomposition. Zbl 1351.68314 Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David 22 2016 Cylindrical algebraic decompositions for Boolean combinations. Zbl 1359.68327 Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David 14 2013 Optimising problem formulation for cylindrical algebraic decomposition. Zbl 1390.68775 Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David 14 2013 A case study on the parametric occurrence of multiple steady states. Zbl 1444.92034 Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas 13 2017 Improving the use of equational constraints in cylindrical algebraic decomposition. Zbl 1346.68283 England, Matthew; Bradford, Russell; Davenport, James H. 12 2015 Truth table invariant cylindrical algebraic decomposition by regular chains. Zbl 1350.68293 Bradford, Russell; Chen, Changbo; Davenport, James H.; England, Matthew; Moreno Maza, Marc; Wilson, David 10 2014 Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599 England, Matthew; Bradford, Russell; Davenport, James H. 10 2020 Cylindrical algebraic sub-decompositions. Zbl 1309.68232 Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M. 9 2014 Identifying the parametric occurrence of multiple steady states for some biological networks. Zbl 1442.92056 Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas 9 2020 Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting. Zbl 1437.14008 England, Matthew; Wilson, David; Bradford, Russell; Davenport, James H. 8 2014 Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1304.68223 England, Matthew; Bradford, Russell; Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Wilson, David 7 2014 Towards better simplification of elementary functions. Zbl 1072.68651 Bradford, Russell; Davenport, James H. 6 2002 Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1350.68294 England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David 6 2014 Efficient characterisation of large deviations using population dynamics. Zbl 1459.82132 Brewer, Tobias; Clark, Stephen R.; Bradford, Russell; Jack, Robert L. 6 2018 Speeding up cylindrical algebraic decomposition by Gröbner bases. Zbl 1360.68959 Wilson, David J.; Bradford, Russell J.; Davenport, James H. 5 2012 Reasoning about the elementary functions of complex analysis. Zbl 1007.30001 Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M. 5 2002 A repository for CAD examples. Zbl 1322.68294 Wilson, David J.; Bradford, Russell J.; Davenport, James H. 4 2012 Geometry of branch cuts. Zbl 1305.68367 Phisanbut, Nalina; Bradford, Russell J.; Davenport, James H. 3 2010 Understanding branch cuts of expressions. Zbl 1390.68777 England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David 3 2013 A poly-algorithmic approach to simplifying elementary functions. Zbl 1134.68594 Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina 2 2004 Better simplification of elementary functions through power series. Zbl 1072.68646 Beaumont, James; Bradford, Russell; Davenport, James H. 2 2003 Hermite normal forms for integer matrices. Zbl 1209.15002 Bradford, R. J. 1 1989 A remark on factorisation. Zbl 0601.12003 Abbott, J. A.; Bradford, R. J.; Davenport, J. H. 1 1985 Branch cuts in Maple 17. Zbl 1369.68358 England, M.; Cheb-Terrab, E.; Bradford, R.; Davenport, J. H.; Wilson, D. 1 2014 Testing elementary function identities using CAD. Zbl 1142.68618 Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina 1 2007 Adherence is better than adjacency: computing the Riemann index using CAD. Zbl 1360.14140 Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina 1 2005 The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. Zbl 07581910 Bradford, R.; Davenport, J. H.; England, M.; Sadeghimanesh, A.; Uncu, A. 1 2021 The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. Zbl 07581910 Bradford, R.; Davenport, J. H.; England, M.; Sadeghimanesh, A.; Uncu, A. 1 2021 Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599 England, Matthew; Bradford, Russell; Davenport, James H. 10 2020 Identifying the parametric occurrence of multiple steady states for some biological networks. Zbl 1442.92056 Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas 9 2020 Efficient characterisation of large deviations using population dynamics. Zbl 1459.82132 Brewer, Tobias; Clark, Stephen R.; Bradford, Russell; Jack, Robert L. 6 2018 A case study on the parametric occurrence of multiple steady states. Zbl 1444.92034 Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas 13 2017 Truth table invariant cylindrical algebraic decomposition. Zbl 1351.68314 Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David 22 2016 Improving the use of equational constraints in cylindrical algebraic decomposition. Zbl 1346.68283 England, Matthew; Bradford, Russell; Davenport, James H. 12 2015 Truth table invariant cylindrical algebraic decomposition by regular chains. Zbl 1350.68293 Bradford, Russell; Chen, Changbo; Davenport, James H.; England, Matthew; Moreno Maza, Marc; Wilson, David 10 2014 Cylindrical algebraic sub-decompositions. Zbl 1309.68232 Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M. 9 2014 Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting. Zbl 1437.14008 England, Matthew; Wilson, David; Bradford, Russell; Davenport, James H. 8 2014 Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1304.68223 England, Matthew; Bradford, Russell; Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Wilson, David 7 2014 Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1350.68294 England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David 6 2014 Branch cuts in Maple 17. Zbl 1369.68358 England, M.; Cheb-Terrab, E.; Bradford, R.; Davenport, J. H.; Wilson, D. 1 2014 Cylindrical algebraic decompositions for Boolean combinations. Zbl 1359.68327 Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David 14 2013 Optimising problem formulation for cylindrical algebraic decomposition. Zbl 1390.68775 Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David 14 2013 Understanding branch cuts of expressions. Zbl 1390.68777 England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David 3 2013 Speeding up cylindrical algebraic decomposition by Gröbner bases. Zbl 1360.68959 Wilson, David J.; Bradford, Russell J.; Davenport, James H. 5 2012 A repository for CAD examples. Zbl 1322.68294 Wilson, David J.; Bradford, Russell J.; Davenport, James H. 4 2012 Geometry of branch cuts. Zbl 1305.68367 Phisanbut, Nalina; Bradford, Russell J.; Davenport, James H. 3 2010 Testing elementary function identities using CAD. Zbl 1142.68618 Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina 1 2007 Adherence is better than adjacency: computing the Riemann index using CAD. Zbl 1360.14140 Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina 1 2005 A poly-algorithmic approach to simplifying elementary functions. Zbl 1134.68594 Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina 2 2004 Better simplification of elementary functions through power series. Zbl 1072.68646 Beaumont, James; Bradford, Russell; Davenport, James H. 2 2003 Towards better simplification of elementary functions. Zbl 1072.68651 Bradford, Russell; Davenport, James H. 6 2002 Reasoning about the elementary functions of complex analysis. Zbl 1007.30001 Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M. 5 2002 Hermite normal forms for integer matrices. Zbl 1209.15002 Bradford, R. J. 1 1989 A remark on factorisation. Zbl 0601.12003 Abbott, J. A.; Bradford, R. J.; Davenport, J. H. 1 1985 all cited Publications top 5 cited Publications all top 5 Cited by 119 Authors 21 Davenport, James Harold 17 England, Matthew 7 Bradford, Russell J. 5 Chen, Changbo 5 Sturm, Thomas 5 Wilson, David J. 4 Ábrahám, Erika 4 Sadeghimanesh, AmirHosein 3 Feliu, Elisenda 3 Hong, Hoon 3 McCallum, Scott 3 Sankaran, Gregory Kumar 3 Xia, Bican 2 Angeli, Letizia 2 Bridge, James P. 2 Brown, Christopher W. 2 Florescu, Dorian 2 Grigor’ev, Dmitriĭ Yur’evich 2 Großkinsky, Stefan 2 Huang, Zongyan 2 Iosif, Alexandru 2 Johansen, Adam M. 2 Kremer, Gereon 2 Moreno Maza, Marc 2 Nair, Akshar Sajive 2 Paulson, Lawrence Charles 2 Radulescu, Ovidiu 2 Rahkooy, Hamid 2 Weber, Andreas Günter 2 Wu, Wenyuan 1 Abbott, John A. 1 Akashi, Ryosuke 1 Anai, Hirokazu 1 Aprahamian, Mary 1 Arai, Noriko H. 1 Bailey, David Harold 1 Beaumont, James C. 1 Becker, Bernd 1 Beeson, Michael J. 1 Bekcheva, Maria 1 Bigatti, Anna Maria 1 Borwein, Jonathan Michael 1 Bouchet, Freddy 1 Brain, Martin 1 Buchberger, Bruno 1 Chen, Rizeng 1 Chi, Haoyu 1 Cimatti, Alessandro 1 Cohen, Kelly 1 Conradi, Carsten 1 Corless, Robert Malcolm 1 del Río Almajano, Tereso 1 del Río, Tereso 1 Eraşcu, Mădălina 1 Errami, Hassan 1 Fontaine, Pascal 1 Forrest, Stephen 1 Fukasaku, Ryoya 1 Gerdt, Vladimir Petrovich 1 Greco, Luca 1 Griggio, Alberto 1 Helmer, Martin 1 Higham, Nicholas J. 1 Hoyt, Charles Tapley 1 Huang, Bo 1 Hurtado, Pablo I. 1 Iwane, Hidenao 1 Jack, Robert L. 1 Jeffrey, David J. 1 Kahle, Thomas 1 Kaiser, Alexander D. 1 Kobayashi, Munehiro 1 Košta, Marek 1 Kröning, Daniel 1 Kruff, Niclas 1 Kudo, Jumma 1 Labahn, George 1 Lestang, Thibault 1 Lévêque, Emmanuel 1 Li, Haokun 1 Lichtblau, Daniel A. 1 Locatelli, A. F. 1 Lüders, Christoph 1 Matsuzaki, Takuya 1 Mező, István 1 Moir, Robert H. C. 1 Mounier, Hugues 1 Nagornov, Yuri S. 1 Nalbach, Jasper 1 Nanda, Vidit 1 Niu, Wei 1 Orlando, Giuseppe 1 Parusiński, Adam 1 Paunescu, Laurentiu 1 Pérez-Espigares, Carlos 1 Pernet, Clément 1 Phisanbut, Nalina 1 Pickering, Lynn 1 Pizzoferrato, Andrea 1 Riener, Cordian ...and 19 more Authors all top 5 Cited in 24 Serials 17 Journal of Symbolic Computation 5 Mathematics in Computer Science 2 Bulletin of Mathematical Biology 1 Journal of Fluid Mechanics 1 Journal of Statistical Physics 1 Physica A 1 Mathematics of Computation 1 Automatica 1 Journal of the London Mathematical Society. Second Series 1 Journal of Number Theory 1 Advances in Applied Mathematics 1 SIAM Journal on Matrix Analysis and Applications 1 AI Communications 1 Stochastic Processes and their Applications 1 Applicable Algebra in Engineering, Communication and Computing 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Integral Transforms and Special Functions 1 Chaos 1 Foundations of Computational Mathematics 1 Acta Mathematica Scientia. Series B. (English Edition) 1 SIAM Journal on Applied Dynamical Systems 1 The European Physical Journal B. Condensed Matter and Complex Systems 1 Science China. Mathematics 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 23 Fields 44 Computer science (68-XX) 15 Algebraic geometry (14-XX) 11 Commutative algebra (13-XX) 11 Biology and other natural sciences (92-XX) 9 Numerical analysis (65-XX) 6 Mathematical logic and foundations (03-XX) 5 Ordinary differential equations (34-XX) 4 Statistical mechanics, structure of matter (82-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Probability theory and stochastic processes (60-XX) 1 General and overarching topics; collections (00-XX) 1 Field theory and polynomials (12-XX) 1 Functions of a complex variable (30-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Special functions (33-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year