Subject
General Mathematics,General Physics and Astronomy,Statistical and Nonlinear Physics,Applied Mathematics
Reference45 articles.
1. Quantifier elimination for real closed fields by cylindrical algebraic decomposition–preliminary report;Collins;ACM SIGSAM Bull,1974
2. The complexity of linear problems in fields;Weispfenning;J Symb Comput,1988
3. Quantifier elimination and cylindrical algebraic decomposition,2012
4. Testing stability by quantifier elimination;Hong;J Symb Comput,1997
5. QE approach to common Lyapunov function problem;Nguyen;J Jpn Soc Symbolic Algebraic Comput,2003
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献