Abstract
A standard view of mathematical statements is that they should be accompanied by succinctly written, easily verifiable certificates. To wit, open one of your favorite mathematics or theoretical computer science textbooks (if you have one; if not, perhaps the present text will become your favorite). You’ll see that all the formal statements there are accompanied by strings of text called proofs, which the author believes to be easily verifiable by anyone with enough background.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hemaspaandra, L.A., Ogihara, M. (2002). The Polynomial Interpolation Technique. In: The Complexity Theory Companion. Texts in Theoretical Computer Science An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-04880-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-04880-1_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-08684-7
Online ISBN: 978-3-662-04880-1
eBook Packages: Springer Book Archive