Davenport, J. H. (2024). First steps towards Computational Polynomials in Lean.
Style de citation Chicago (17e éd.)Davenport, James Harold. First Steps Towards Computational Polynomials in Lean. 2024.
Style de citation MLA (9e éd.)Davenport, James Harold. First Steps Towards Computational Polynomials in Lean. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.