×

Bradford, Russell J.

Author ID: bradford.russell-j Recent zbMATH articles by "Bradford, Russell J."
Published as: Bradford, Russell; Bradford, Russell J.; Bradford, R. J.; Bradford, R.

Publications by Year

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 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

Citations by Year