Zobrazeno 1 - 10
of 919
pro vyhledávání: '"James, Harold"'
Autor:
Davenport, James Harold
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 poly
Externí odkaz:
http://arxiv.org/abs/2408.04564
