Davenport, J. H., England, M., & McCallum, S. (2026). Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints.
Chicago-Zitierstil (17. Ausg.)Davenport, James H., Matthew England, und Scott McCallum. Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints. 2026.
MLA-Zitierstil (9. Ausg.)Davenport, James H., et al. Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.