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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David J. Wilson