Checking approximate computations of polynomials and functional equations

DOI10.1137/S0097539798337613MaRDI QIDQ2784470zbMATH OpenOpenAlexFDO

Authors Funda Ergün, S. Ravi Kumar, 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

approximate testingfunctional equationspolynomialsprogram testingproperty testingself-correctingself-testing

Mathematics Subject Classification ID

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

Recommendations

• Approximate testing with relative error
• Approximate testing with error relative to input size.
• Checking approximate computations over the reals
• On the Robustness of Functional Equations
• scientific article; zbMATH DE number 1263217

Cited in

(8)

• Batch checking with applications to linear functions
• Self-testing/correcting with applications to numerical problems
• Approximate testing with relative error
• On the Robustness of Functional Equations
• Checking properties of polynomials
• scientific article; zbMATH DE number 2086425 (Why is no real title available?)
• Checking approximate computations over the reals
• Multi-linearity self-testing with relative error

This page was built for publication: Checking approximate computations of polynomials and functional equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2784470)