Subject
Computational Mathematics,Algebra and Number Theory
Reference20 articles.
1. Geometric reasoning with logic and algebra;Arnon;Artif. Intell.,1988
2. On mechanical quantifier elimination for elementary algebra and geometry;Arnon;J. Symb. Comput.,1988
3. D. S. Arnon, S. Smith, Proceedings of EUROCAL’83, 1983, Springer, New York, 36, 44
4. Maple V Library Reference Manual;Char,1991
5. Partial cylindrical algebraic decomposition for quantifier elimination;Collins;J. Symb. Comput.,1991
Cited by
104 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献