Checking properties of polynomials

DOI10.1007/3-540-63165-8_178MaRDI QIDQ4571953zbMATH OpenOpenAlexFDO

Authors Funda Ergün, S. Ravi Kumar, Bruno Codenotti, Peter S. Gemmell

Publication date 4 July 2018

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63165-8_178

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Checking approximate computations over the reals
• Checking approximate computations of polynomials and functional equations
• Designing programs that check their work
• scientific article; zbMATH DE number 1263217
• Spot-checkers

Cites work

• scientific article; zbMATH DE number 4191094 (Why is no real title available?)
• scientific article; zbMATH DE number 4213315 (Why is no real title available?)
• scientific article; zbMATH DE number 3771547 (Why is no real title available?)
• scientific article; zbMATH DE number 3635490 (Why is no real title available?)
• scientific article; zbMATH DE number 1256635 (Why is no real title available?)
• scientific article; zbMATH DE number 1256636 (Why is no real title available?)
• scientific article; zbMATH DE number 1263217 (Why is no real title available?)
• scientific article; zbMATH DE number 481965 (Why is no real title available?)
• scientific article; zbMATH DE number 274379 (Why is no real title available?)
• scientific article; zbMATH DE number 3260031 (Why is no real title available?)
• Checking approximate computations over the reals
• Principles for Testing Polynomial Zerofinding Programs
• Robust Characterizations of Polynomials with Applications to Program Testing
• Self-testing/correcting with applications to numerical problems

Cited in

(1)

• Checking approximate computations over the reals

This page was built for publication: Checking properties of polynomials

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