On the representation of constructible sets

Authors:
Changbo Chen;Liyun Li;Marc Moreno Maza;Wei Pan;Yuzhen Xie
Affiliations:
University of Western Ontario;University of Western Ontario;University of Western Ontario;University of Western Ontario;University of Western Ontario
Venue:
ACM Communications in Computer Algebra
Year:
2009

Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Modern computer algebra

Modern computer algebra
Factor refinement

SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Polynomial Gcd Computations over Towers of Algebraic Extensions

AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
About a New Method for Computing in Algebraic Number Fields

EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Comprehensive triangular decomposition

CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing

Hi-index	0.00