19 citations · 80 across the 14 of their papers we have counts for
Showing cs.SCShow all
2 papers · 1 filter
cs.SC2018★ 1 cited
Towards Incremental Cylindrical Algebraic Decomposition in Maple
Alexander Imani Cowen-Rivers, Matthew England
Cylindrical Algebraic Decomposition (CAD) is an important tool within computational real algebraic geometry, capable of solving many problems for polynomial systems over the reals.…
cs.SC2018★ 1 cited
Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition
Alexander I. Cowen-Rivers, Matthew England
Cylindrical Algebraic Decomposition (CAD) is an important tool within computational real algebraic geometry, capable of solving many problems to do with polynomial systems over the…