David J. Wilson

Available identifiers

zbMath Open wilson.david-jMaRDI QIDQ1636263

List of research outcomes

Publication	Date of Publication	Type
Using machine learning to improve cylindrical algebraic decomposition	2019-11-27	Paper
Coupled-channel \(D\pi\), \(D\eta\) and \(D_s\overline K\) scattering from lattice QCD	2018-06-12	Paper
Branch cuts in maple 17	2017-06-26	Paper
Cylindrical algebraic decompositions for boolean combinations	2017-02-10	Paper
Truth table invariant cylindrical algebraic decomposition	2016-02-19	Paper
A repository for CAD examples	2015-02-26	Paper
Cylindrical algebraic sub-decompositions	2014-11-27	Paper
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition	2014-09-08	Paper
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting	2014-09-08	Paper
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains	2014-09-08	Paper
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition	2014-08-07	Paper
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition	2014-08-07	Paper
Optimising Problem Formulation for Cylindrical Algebraic Decomposition	2013-08-09	Paper
Understanding Branch Cuts of Expressions	2013-08-09	Paper
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases	2012-09-07	Paper

Research outcomes over time

This page was built for person: David J. Wilson