Login / Signup
A verified factorization algorithm for integer polynomials with polynomial complexity.
Jose Divasón
Sebastiaan J. C. Joosten
René Thiemann
Akihisa Yamada
Published in:
Arch. Formal Proofs (2018)
Keyphrases
</>
low order
databases
lagrange interpolation
algebraic curves
polynomial hierarchy
information systems
computational complexity
artificial neural networks
piecewise polynomial
algebraic geometry
orthogonal polynomials
implicit polynomial
exponential size
worst case
computational cost
case study
real world