David Wilson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Using machine learning to improve cylindrical algebraic decomposition Mathematics in Computer Science	2019-11-27	Paper
Coupled-channel \(D\pi\), \(D\eta\) and \(D_s\overline K\) scattering from lattice QCD Journal of High Energy Physics	2018-06-12	Paper
Branch cuts in Maple 17 ACM Communications in Computer Algebra	2017-06-26	Paper
Branch cuts in Maple 17 ACM Communications in Computer Algebra	2017-06-26	Paper
Cylindrical algebraic decompositions for Boolean combinations Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation	2017-02-10	Paper
Cylindrical algebraic decompositions for Boolean combinations Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation	2017-02-10	Paper
Truth table invariant cylindrical algebraic decomposition Journal of Symbolic Computation	2016-02-19	Paper
A repository for CAD examples ACM Communications in Computer Algebra	2015-02-26	Paper
Cylindrical algebraic sub-decompositions Mathematics in Computer Science	2014-11-27	Paper
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition Mathematical Software – ICMS 2014	2014-09-08	Paper
Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting Mathematical Software – ICMS 2014	2014-09-08	Paper
Truth table invariant cylindrical algebraic decomposition by regular chains Computer Algebra in Scientific Computing	2014-09-08	Paper
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition Lecture Notes in Computer Science	2014-08-07	Paper
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition Lecture Notes in Computer Science	2014-08-07	Paper
Optimising problem formulation for cylindrical algebraic decomposition Lecture Notes in Computer Science	2013-08-09	Paper
Understanding branch cuts of expressions Lecture Notes in Computer Science	2013-08-09	Paper
Speeding up cylindrical algebraic decomposition by Gröbner bases Lecture Notes in Computer Science	2012-09-07	Paper
scientific article; zbMATH DE number 1690144 (Why is no real title available?)	2002-01-14	Paper

Research outcomes over time

This page was built for person: David Wilson