Quantifier elimination for real closed fields by cylindrical algebraic decomposition 论文
1975Medical Entomology and Zoology引用 902
Polynomial and algebraic computation
Quantifier elimination for real closed fields by cylindrical algebraic decomposition · 相关文章
暂无数据