arXiv Open Access 2024

First steps towards Computational Polynomials in Lean

James Harold Davenport

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.SC

Penulis (1)

James Harold Davenport

Format Sitasi

APA MLA BibTeX

Davenport, J.H. (2024). First steps towards Computational Polynomials in Lean. https://arxiv.org/abs/2408.04564

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2024
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓