×

zbMATH — the first resource for mathematics

Bradford, Russell J.

Compute Distance To:
Author ID: bradford.russell-j Recent zbMATH articles by "Bradford, Russell J."
Published as: Bradford, Russell; Bradford, Russell J.; Bradford, R. J.; Bradford, R.
Documents Indexed: 29 Publications since 1985, including 1 Book

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 112 times in 33 Documents Cited by Year
Truth table invariant cylindrical algebraic decomposition. Zbl 1351.68314
Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David
13
2016
Cylindrical algebraic decompositions for Boolean combinations. Zbl 1359.68327
Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David
13
2013
Improving the use of equational constraints in cylindrical algebraic decomposition. Zbl 1346.68283
England, Matthew; Bradford, Russell; Davenport, James H.
9
2015
Optimising problem formulation for cylindrical algebraic decomposition. Zbl 1390.68775
Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David
9
2013
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
8
2014
Cylindrical algebraic sub-decompositions. Zbl 1309.68232
Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M.
8
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.
7
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
6
2014
Towards better simplification of elementary functions. Zbl 1072.68651
Bradford, Russell; Davenport, James H.
5
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.
4
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
4
2014
Speeding up cylindrical algebraic decomposition by Gröbner bases. Zbl 1360.68959
Wilson, David J.; Bradford, Russell J.; Davenport, James H.
3
2012
Understanding branch cuts of expressions. Zbl 1390.68777
England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David
3
2013
A repository for CAD examples. Zbl 1322.68294
Wilson, David J.; Bradford, Russell J.; Davenport, James H.
3
2012
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
2
2020
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
2
2017
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
Geometry of branch cuts. Zbl 1305.68367
Phisanbut, Nalina; Bradford, Russell J.; Davenport, James H.
2
2010
Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599
England, Matthew; Bradford, Russell; Davenport, James H.
1
2020
Branch cuts in Maple 17. Zbl 1369.68358
England, M.; Cheb-Terrab, E.; Bradford, R.; Davenport, J. H.; Wilson, D.
1
2014
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
Testing elementary function identities using CAD. Zbl 1142.68618
Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina
1
2007
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
Efficient characterisation of large deviations using population dynamics. Zbl 1459.82132
Brewer, Tobias; Clark, Stephen R.; Bradford, Russell; Jack, Robert L.
1
2018
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
2
2020
Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599
England, Matthew; Bradford, Russell; Davenport, James H.
1
2020
Efficient characterisation of large deviations using population dynamics. Zbl 1459.82132
Brewer, Tobias; Clark, Stephen R.; Bradford, Russell; Jack, Robert L.
1
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
2
2017
Truth table invariant cylindrical algebraic decomposition. Zbl 1351.68314
Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David
13
2016
Improving the use of equational constraints in cylindrical algebraic decomposition. Zbl 1346.68283
England, Matthew; Bradford, Russell; Davenport, James H.
9
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
8
2014
Cylindrical algebraic sub-decompositions. Zbl 1309.68232
Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M.
8
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.
7
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
6
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
4
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
13
2013
Optimising problem formulation for cylindrical algebraic decomposition. Zbl 1390.68775
Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David
9
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.
3
2012
A repository for CAD examples. Zbl 1322.68294
Wilson, David J.; Bradford, Russell J.; Davenport, James H.
3
2012
Geometry of branch cuts. Zbl 1305.68367
Phisanbut, Nalina; Bradford, Russell J.; Davenport, James H.
2
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.
5
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.
4
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

Citations by Year