Russell Bradford

Available identifiers

zbMath Open bradford.russell-jDBLP41/6722WikidataQ107311804 ScholiaQ107311804MaRDI QIDQ944996

List of research outcomes

Publication	Date of Publication	Type
The DEWCAD project	2022-09-06	Paper
Efficient characterisation of large deviations using population dynamics	2021-03-02	Paper
A case study on the parametric occurrence of multiple steady states	2020-09-09	Paper
Cylindrical algebraic decomposition with equational constraints	2020-03-24	Paper
Identifying the parametric occurrence of multiple steady states for some biological networks	2020-01-15	Paper
Branch cuts in Maple 17	2017-06-26	Paper
Cylindrical algebraic decompositions for Boolean combinations	2017-02-10	Paper
Improving the use of equational constraints in cylindrical algebraic decomposition	2016-09-29	Paper
Truth table invariant cylindrical algebraic decomposition	2016-02-19	Paper
Adherence is better than adjacency: computing the Riemann index using CAD	2015-07-16	Paper
A repository for CAD examples	2015-02-26	Paper
Geometry of branch cuts	2015-02-20	Paper
Cylindrical algebraic sub-decompositions	2014-11-27	Paper
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition	2014-09-08	Paper
Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting	2014-09-08	Paper
Truth table invariant cylindrical algebraic decomposition by regular chains	2014-09-08	Paper
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition	2014-08-07	Paper
Optimising problem formulation for cylindrical algebraic decomposition	2013-08-09	Paper
Understanding branch cuts of expressions	2013-08-09	Paper
Speeding up cylindrical algebraic decomposition by Gröbner bases	2012-09-07	Paper
Hermite normal forms for integer matrices	2011-04-16	Paper
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy	2009-07-09	Paper
Testing elementary function identities using CAD	2008-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q4660680	2005-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q4660642	2005-04-04	Paper
A poly-algorithmic approach to simplifying elementary functions	2005-03-14	Paper
Reasoning about the elementary functions of complex analysis	2002-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q3801671	1988-01-01	Paper
A remark on factorisation	1985-01-01	Paper

Research outcomes over time

This page was built for person: Russell Bradford