Russell J. Bradford

Available identifiers

zbMath Open bradford.russell-jMaRDI 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	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/Q4660642	2005-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q4660680	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Russell J. Bradford