The following pages link to Russell Bradford (Q944996):
Displaying 31 items.
- (Q247219) (redirect page) (← links)
- (Q475411) (redirect page) (← links)
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- Testing elementary function identities using CAD (Q944998) (← links)
- Reasoning about the elementary functions of complex analysis (Q1610222) (← links)
- Identifying the parametric occurrence of multiple steady states for some biological networks (Q2284952) (← links)
- Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
- Improving the use of equational constraints in cylindrical algebraic decomposition (Q2819754) (← links)
- Optimising Problem Formulation for Cylindrical Algebraic Decomposition (Q2843003) (← links)
- Understanding Branch Cuts of Expressions (Q2843010) (← links)
- Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition (Q2879160) (← links)
- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting (Q2879161) (← links)
- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains (Q2879312) (← links)
- Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases (Q2907329) (← links)
- Cylindrical algebraic decompositions for boolean combinations (Q2963225) (← links)
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (Q3637270) (← links)
- A remark on factorisation (Q3735802) (← links)
- (Q3801671) (← links)
- A poly-algorithmic approach to simplifying elementary functions (Q4657297) (← links)
- (Q4660642) (← links)
- (Q4660680) (← links)
- Efficient characterisation of large deviations using population dynamics (Q4964590) (← links)
- The DEWCAD project (Q5102008) (← links)
- A Case Study on the Parametric Occurrence of Multiple Steady States (Q5119921) (← links)
- Geometry of branch cuts (Q5175258) (← links)
- A repository for CAD examples (Q5176436) (← links)
- Adherence is better than adjacency (Q5262740) (← links)
- Branch cuts in maple 17 (Q5270639) (← links)
- Hermite normal forms for integer matrices (Q5393357) (← links)
- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition (Q5495913) (← links)
- Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)
