David Wilson

Available identifiers

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
https://portal.mardi4nfdi.de/entity/Q2763209	2002-01-14	Paper

This page was built for person: David Wilson