Checking Approximate Computations of Polynomials and Functional Equations

DOI10.1137/S0097539798337613zbMath1052.68056OpenAlexW2010625137MaRDI QIDQ2784470

S. Ravi Kumar, Funda Ergün, Ronitt Rubinfeld

Publication date: 23 April 2002

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/s0097539798337613

zbMATH Keywords

polynomialsfunctional equationsproperty testingprogram testingself-testingself-correctingapproximate testing

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational aspects and applications of commutative rings (13P99) Specification and verification (program logics, model checking, etc.) (68Q60) Randomized algorithms (68W20) Computer aspects of numerical algorithms (65Y99)

This page was built for publication: Checking Approximate Computations of Polynomials and Functional Equations