Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition. Working Paper.
These notes are a product of research seminars held at the University of Bath in Autumn 2012. The research group of Bath consisted of James Davenport, Russell Bradford, Matthew England, Acyr Locatelli and David Wilson. They were joined by Scott McCallum of Macquarie University who was at Bath as a visiting researcher.
|Item Type ||Reports/Papers (Working Paper)|
|Creators||Davenport, J., Bradford, R., England, M. and Wilson, D.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)