David Wilson

From MaRDI portal
Person:1636263

Available identifiers

zbMath Open wilson.david-jMaRDI QIDQ1636263

List of research outcomes





PublicationDate of PublicationType
Using machine learning to improve cylindrical algebraic decomposition2019-11-27Paper
Coupled-channel \(D\pi\), \(D\eta\) and \(D_s\overline K\) scattering from lattice QCD2018-06-12Paper
Branch cuts in maple 172017-06-26Paper
Cylindrical algebraic decompositions for boolean combinations2017-02-10Paper
Truth table invariant cylindrical algebraic decomposition2016-02-19Paper
A repository for CAD examples2015-02-26Paper
Cylindrical algebraic sub-decompositions2014-11-27Paper
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition2014-09-08Paper
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting2014-09-08Paper
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains2014-09-08Paper
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition2014-08-07Paper
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition2014-08-07Paper
Optimising Problem Formulation for Cylindrical Algebraic Decomposition2013-08-09Paper
Understanding Branch Cuts of Expressions2013-08-09Paper
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases2012-09-07Paper
https://portal.mardi4nfdi.de/entity/Q27632092002-01-14Paper

Research outcomes over time

This page was built for person: David Wilson

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1636263&oldid=10568558"
Powered by MediaWiki