Quantifier elimination by cylindrical algebraic decomposition based on regular chains
Changbo Chen
◽
Marc Moreno Maza
2016 ◽
Vol 75
◽
pp. 74-93
◽
Changbo Chen
◽
Marc Moreno Maza
2013 ◽
Vol 479
◽
pp. 43-69
◽
Hidenao Iwane
◽
Hitoshi Yanami
◽
Hirokazu Anai
◽
Kazuhiro Yokoyama
Christopher W. Brown
◽
James H. Davenport
1976 ◽
Vol 10
(1)
◽
pp. 10-12
◽
George E. Collins
◽
Hoon Hong