Abstract
The proof in this chapter is included firstly to show the calculational style in action, this time in a geometrical problem, and, secondly, to illustrate the carefully phased exploitation of data that is enabled by the introduction of nomenclature.
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(1990). A calculational proof of Helly's theorem on convex figures. In: On the Shape of Mathematical Arguments. Lecture Notes in Computer Science, vol 445. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020918
Download citation
DOI: https://doi.org/10.1007/BFb0020918
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52849-4
Online ISBN: 978-3-540-47166-0
eBook Packages: Springer Book Archive