Author:
Herrero Pau,Sainz Miguel A.,Veh Josep,Jaulin Luc
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Mathematics,Software
Reference20 articles.
1. Abdallah, C., Dorato, P., Famularo, D., and Yang, W.: Robust Nonlinear Feedback Design via Quantifier Elimination Theory, International Journal of Robust and Non-Linear Control 9 (1999), pp. 817–822.
2. Benhamou, F. and Goulard, F.: Universally Quantified Interval Constraints, Lecture Notes in Computer Science 5 (4) (2000).
3. Benhamou, F., Goualard, F., Languenou, E., and Christie, M.: Interval Constraint Solving for Camera Control and Motion Planning, ACM Trans. Comput. Logic 5 (4) (2004), pp. 732–767.
4. Brown, C. W.: Quantifier Elimination by Partial Cylindrical Algebraic Decomposition, http://www.cs.usna.edu/~qepcad/B/QEPCAD.html.
5. Chauvin, C., Muller, M., and Weber, A.: An Application of Quantifier Elimination to Mathematical Biology, in: Computer Algebra in Science and Engineering, World Scientific, 1994, pp. 287–296.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献