BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

David Wilson
SearchCollections
Map detail
David Wilson13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDavid WilsonADavid WilsonResearcherA "Piano Movers" Problem ReformulatedWA "Piano Movers" Proble...preprint / 2014Using the distribution of cells by dimension in a cylindrical algebraic decompositionWUsing the distribution ...preprint / 2014Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and liftingWUsing the Regular Chain...preprint / 2014An implementation of Sub-CAD in MapleWAn implementation of Su...preprint / 2015Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decompositionWApplying machine learni...preprint / 2014A comparison of three heuristics to choose the variable ordering for CADWA comparison of three h...preprint / 2014On the Application of Agile Project Management Techniques, V-Model and Recent Software Tools in Postgraduate Theses SupervisionWOn the Application of A...preprint / 2022Understanding Branch Cuts of ExpressionsWUnderstanding Branch Cu...preprint / 2013Optimising Problem Formulation for Cylindrical Algebraic DecompositionWOptimising Problem Form...preprint / 2013Sliding window and compressive sensing for low-field dynamic magnetic resonance imagingWSliding window and comp...preprint / 2014Program Verification in the presence of complex numbers, functions with branch cuts etcWProgram Verification in...preprint / 2012Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decompositionWChoosing a variable ord...preprint / 2014
Person12 links

David Wilson

Researcher

PaperA "Piano Movers" Problem ReformulatedAuthorship / preprint / 2014PaperUsing the distribution of cells by dimension in a cylindrical algebraic decompositionAuthorship / preprint / 2014PaperUsing the Regular Chains Library to build cylindrical algebraic decompositions by projecting and liftingAuthorship / preprint / 2014PaperAn implementation of Sub-CAD in MapleAuthorship / preprint / 2015PaperApplying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decompositionAuthorship / preprint / 2014PaperA comparison of three heuristics to choose the variable ordering for CADAuthorship / preprint / 2014PaperOn the Application of Agile Project Management Techniques, V-Model and Recent Software Tools in Postgraduate Theses SupervisionAuthorship / preprint / 2022PaperUnderstanding Branch Cuts of ExpressionsAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)