First steps towards Computational Polynomials in Lean
<|reference_start|>First steps towards Computational Polynomials in Lean: The proof assistant Lean has support for abstract polynomials, but this is not necessarily the same as support for computations with polynomials. Lean is also a functional programming language, so it should be possible to implement computational polynomials in Lean. It turns out not to be as easy as the naive author thought.<|reference_end|>
@article{davenport2024first,
    title={First steps towards Computational Polynomials in Lean},
    author={James Harold Davenport},
    journal={arXiv preprint arXiv:2408.04564},
    year={2024},
    archivePrefix={arXiv},
    eprint={2408.04564},
    primaryClass={cs.SC}
}