Russell Bradford
Identifiers
- name variant Russell Bradford 0.60 · backfill
Papers (14)
- Quantifier Elimination for Reasoning in Economics cs.SC · 2018 · author #2
- Efficient characterisation of large deviations using population dynamics cond-mat.stat-mech · 2017 · author #3
- A Case Study on the Parametric Occurrence of Multiple Steady States cs.SC · 2017 · author #1
- Improving the use of equational constraints in cylindrical algebraic decomposition cs.SC · 2015 · author #2
- Using the distribution of cells by dimension in a cylindrical algebraic decomposition cs.SC · 2014 · author #3
- Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition cs.SC · 2014 · author #2
- Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting cs.SC · 2014 · author #3
- Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition cs.SC · 2014 · author #2
- Truth Table Invariant Cylindrical Algebraic Decomposition cs.SC · 2014 · author #1
- A "Piano Movers" Problem Reformulated cs.CG · 2013 · author #4
- Cylindrical Algebraic Decompositions for Boolean Combinations cs.SC · 2013 · author #1
- Understanding Branch Cuts of Expressions cs.MS · 2013 · author #2
- Optimising Problem Formulation for Cylindrical Algebraic Decomposition cs.SC · 2013 · author #1
- 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