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 · 相关技术
暂无数据