scientific article; zbMATH DE number 1263217

MaRDI QIDQ4234089zbMATH OpenFDO

Authors Funda Ergün

Publication date 27 August 2001

Mathematics Subject Classification ID

Complexity and performance of numerical algorithms (65Y20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Self-Testing without the Generator Bottleneck
• A self-tester for linear functions over the integers with an elementary proof of correctness
• On self-testing without the generator bottleneck
• Self-testing/correcting with applications to numerical problems
• Multi-linearity self-testing with relative error

Cited in

(7)

• Self-testing/correcting with applications to numerical problems
• Checking approximate computations of polynomials and functional equations
• On self-testing without the generator bottleneck
• A self-tester for linear functions over the integers with an elementary proof of correctness
• Checking properties of polynomials
• scientific article; zbMATH DE number 742944 (Why is no real title available?)
• Multi-linearity self-testing with relative error

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 Q4234089)