Search filters

List of works by Russell J. Bradford

A "Piano Movers" Problem Reformulated

article

A Case Study on the Parametric Occurrence of Multiple Steady States

scientific article published in 2017

A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy

scholarly article by Russell J. Bradford et al published 2009 in Lecture Notes in Computer Science

Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition ⬇️

article

Cylindrical algebraic decompositions for boolean combinations

article

Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition ⬇️

article

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics ⬇️

scientific article published in May 2018

Optimising Problem Formulation for Cylindrical Algebraic Decomposition

article

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition ⬇️

article

Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc

article

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains ⬇️

article

Truth table invariant cylindrical algebraic decomposition ⬇️

article

Understanding Branch Cuts of Expressions

article

Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition ⬇️

article

Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting ⬇️

article

Paulina is supported by:

About Paulina

Help