Documentation
CompPoly
.
Bivariate
.
GuruswamiSudan
.
Interpolation
.
LeeOSullivan
.
Correctness
Search
return to top
source
Imports
Init
CompPoly.Bivariate.GuruswamiSudan.Interpolation.LeeOSullivan.Correctness.Completeness
Imported by
Lee-O'Sullivan Interpolation Correctness
#
Correctness theorems for executable Lee-O'Sullivan interpolation.