Self-testing/correcting with applications to numerical problems
- 31 December 1993
- journal article
- Published by Elsevier BV in Journal of Computer and System Sciences
- Vol. 47 (3), 549-595
- https://doi.org/10.1016/0022-0000(93)90044-w
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Efficient Checkers for Number-Theoretic ComputationsInformation and Computation, 1995
- Designing programs that check their workJournal of the ACM, 1995
- Self-testing/correcting with applications to numerical problemsJournal of Computer and System Sciences, 1993
- Efficient generation of random nonsingular matricesRandom Structures & Algorithms, 1993
- IP = PSPACEJournal of the ACM, 1992
- Matrix multiplication via arithmetic progressionsJournal of Symbolic Computation, 1990
- Monte-Carlo approximation algorithms for enumeration problemsJournal of Algorithms, 1989
- The Knowledge Complexity of Interactive Proof SystemsSIAM Journal on Computing, 1989
- A note on probabilistically verifying integer and polynomial productsJournal of the ACM, 1989
- How to Generate Cryptographically Strong Sequences of Pseudorandom BitsSIAM Journal on Computing, 1984