APA (7th ed.) Citation

Davenport, J. H., England, M., McCallum, S., & Uncu, A. K. (2025). Iterated Resultants and Rational Functions in Real Quantifier Elimination. Mathematics in Computer Science, 19(1), 1. https://doi.org/10.1007/s11786-025-00606-4

Chicago Style (17th ed.) Citation

Davenport, James H., Matthew England, Scott McCallum, and Ali K. Uncu. "Iterated Resultants and Rational Functions in Real Quantifier Elimination." Mathematics in Computer Science 19, no. 1 (2025): 1. https://doi.org/10.1007/s11786-025-00606-4.

MLA (9th ed.) Citation

Davenport, James H., et al. "Iterated Resultants and Rational Functions in Real Quantifier Elimination." Mathematics in Computer Science, vol. 19, no. 1, 2025, p. 1, https://doi.org/10.1007/s11786-025-00606-4.