Alexander I Cowen-Rivers
TitleCited byYear
Towards incremental cylindrical algebraic decomposition in Maple
AI Cowen-Rivers, M England
arXiv preprint arXiv:1805.10136, 2018
12018
Summer research report: Towards incremental Lazard cylindrical algebraic decomposition
AI Cowen-Rivers, M England
arXiv preprint arXiv:1804.08564, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–2