Search filters

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description article
Author/s

author: Matthew England  David Wilson  Russell J. Bradford  James H. Davenport 

Publication date 2014
Language English
Country of origin
Wikipedia link
Access work

https://archive.org/details/arxiv-1404.6371

Copyright status
Missing/wrong data? Edit Wikidata item