Search filters

List of works by David Wilson

A "Piano Movers" Problem Reformulated

article

Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition ⬇️

article

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

article

Cylindrical algebraic decompositions for boolean combinations

article

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