scientific article; zbMATH DE number 742944

MaRDI QIDQ4763385zbMATH OpenFDO

Authors Ronitt Rubinfeld, Madhu Sudan

Publication date 11 April 1995

zbMATH Keywords

checkersself-testersself-testing polynomials

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A self-tester for linear functions over the integers with an elementary proof of correctness
• Robust Characterizations of Polynomials with Applications to Program Testing
• scientific article; zbMATH DE number 1263217
• Zero testing of algebraic functions
• Self-Testing without the Generator Bottleneck

Cited in

(17)

• Self-testing/correcting with applications to numerical problems
• Probabilistically checkable proofs and their consequences for approximation algorithms
• Approximate testing with error relative to input size.
• Self-correcting polynomial programs
• Efficient multivariate low-degree tests via interactive oracle proofs of proximity for polynomial codes
• Complexity theory. Abstracts from the workshop held November 14--20, 2021 (hybrid meeting)
• Hardness of coloring 2-colorable 12-uniform hypergraphs with \(2^{(\log n)^{\Omega(1)}}\) colors
• Testers and their applications
• Almost transparent short proofs for \(\mathrm{NP}_{\mathbb R}\)
• A self-tester for linear functions over the integers with an elementary proof of correctness
• Testing juntas: a brief survey
• Fast Reed-Solomon interactive oracle proofs of proximity
• Worst-Case to Average-Case Reductions for Subclasses of P
• Reusable online-efficient commitments
• One-sided error testing of monomials and affine subspaces
• Refining the adaptivity notion in the huge object model
• Sample efficient identity testing and independence testing of quantum states

This page was built for publication:

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