A verified factorization algorithm for integer polynomials with polynomial complexity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada 0002. A verified factorization algorithm for integer polynomials with polynomial complexity. Archive of Formal Proofs, 2018, 2018. [doi]

This author has not been identified. Look up 'Jose Divasón' in GoogleThis author has not been identified. Look up 'Sebastiaan J. C. Joosten' in GoogleThis author has not been identified. Look up 'René Thiemann' in GoogleThis author has not been identified. Look up 'Akihisa Yamada 0002' in Google

runs on WebDSL