Quantifier Elimination and Cylindrical Algebraic Decomposition 论文

1998Texts & monographs in symbolic computation/Texts and monographs in symbolic computation引用 412
DOI
History and Theory of MathematicsLogic, programming, and type systemsPolynomial and algebraic computation
Polynomial and algebraic computationLogic, programming, and type systemsHistory and Theory of Mathematics
关系图谱

Quantifier Elimination and Cylindrical Algebraic Decomposition · 相关文章

暂无数据