Interpolation Polynomials (in HOL-Algebra)

MaRDI QIDQ7361787FDO

Authors Emin Karayel

Publication date 29 January 2022

Cites work

• A computational introduction to number theory and algebra

Cited in

(2)

• Formalization of Randomized Approximation Algorithms for Frequency Moments
• Universal Hash Families

This page was built for software: Interpolation Polynomials (in HOL-Algebra)