Author:
Chen Changbo,Moreno Maza Marc
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Basu, S., Pollack, R., Roy, M.-F.: Algorithms in real algebraic geometry. Algorithms and Computations in Mathematics, vol. 10. Springer (2006)
2. Bradford, R., Chen, C., Davenport, J.H., England, M., Moreno Maza, M., Wilson, D.: Truth table invariant cylindrical algebraic decomposition by regular chains (submitted, 2014), Preprint:
http://opus.bath.ac.uk/38344/
3. Brown, C.W.: Solution Formula Construction for Truth Invariant CAD’s. PhD thesis, University of Delaware (1999)
4. Chen, C., Moreno Maza, M.: Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Accepted for ISSAC 2014) (2014)
5. Chen, C., Moreno Maza, M.: An incremental algorithm for computing cylindrical algebraic decompositions. In: Proc. ASCM 2012 (October 2012)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献