Russell Bradford

Identifiers

• name variant Russell Bradford 0.60 · backfill

Papers (14)

1. Quantifier Elimination for Reasoning in Economics cs.SC · 2018 · author #2
2. Efficient characterisation of large deviations using population dynamics cond-mat.stat-mech · 2017 · author #3
3. A Case Study on the Parametric Occurrence of Multiple Steady States cs.SC · 2017 · author #1
4. Improving the use of equational constraints in cylindrical algebraic decomposition cs.SC · 2015 · author #2
5. Using the distribution of cells by dimension in a cylindrical algebraic decomposition cs.SC · 2014 · author #3
6. Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition cs.SC · 2014 · author #2
7. Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting cs.SC · 2014 · author #3
8. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition cs.SC · 2014 · author #2
9. Truth Table Invariant Cylindrical Algebraic Decomposition cs.SC · 2014 · author #1
10. A "Piano Movers" Problem Reformulated cs.CG · 2013 · author #4
11. Cylindrical Algebraic Decompositions for Boolean Combinations cs.SC · 2013 · author #1
12. Understanding Branch Cuts of Expressions cs.MS · 2013 · author #2
13. Optimising Problem Formulation for Cylindrical Algebraic Decomposition cs.SC · 2013 · author #1
14. Program Verification in the presence of complex numbers, functions with branch cuts etc cs.SC · 2012 · author #2

Mentions

• 1501.04466 #2 · backfill · confidence 0.70 Russell Bradford
• 1409.1781 #3 · backfill · confidence 0.70 Russell Bradford
• 1405.6094 #2 · backfill · confidence 0.70 Russell Bradford
• 1405.6090 #3 · backfill · confidence 0.70 Russell Bradford
• 1404.6371 #2 · backfill · confidence 0.70 Russell Bradford
• 1401.0645 #1 · backfill · confidence 0.70 Russell Bradford
• 1309.1588 #4 · backfill · confidence 0.70 Russell Bradford
• 1304.7603 #1 · backfill · confidence 0.70 Russell Bradford
• 1304.7223 #2 · backfill · confidence 0.70 Russell Bradford
• 1304.7222 #1 · backfill · confidence 0.70 Russell Bradford
• 1212.5417 #2 · backfill · confidence 0.70 Russell Bradford

Frequent Coauthors

• James H. Davenport 13 shared papers
• Matthew England 13 shared papers
• David Wilson 10 shared papers
• Scott McCallum 2 shared papers
• Andreas Weber 1 shared papers
• Casey B. Mulligan 1 shared papers
• Changbo Chen 1 shared papers
• Charles Hoyt 1 shared papers
• Dima Grigoriev 1 shared papers
• Hassan Errami 1 shared papers
• Marc Moreno Maza 1 shared papers
• Marek Kosta 1 shared papers
• Ovidiu Radulescu 1 shared papers
• Robert L. Jack 1 shared papers
• Stephen R. Clark 1 shared papers
• Thomas Sturm 1 shared papers
• Tobias Brewer 1 shared papers
• Vladimir Gerdt 1 shared papers
• Zak Tonks 1 shared papers