Abstract
The arrangement of previous chapters has more or less corresponded to a systematic walk through the code and theory development, and then our applications. However this was done with the aim of bringing out as many general points as possible. Sometimes implementation issues were discussed or not discussed, not on the grounds of their intrinsic interest or lack of it, but because they were or were not a convenient peg from which to hang general reflections. While it is of course always desirable to provide concrete illustrations of abstract phenomena, there is a danger that these general points have been submerged under the mass of detail. Accordingly, we will now recapitulate some of the themes that we consider to be important.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
© 1998 Springer-Verlag London Limited
About this chapter
Cite this chapter
Harrison, J. (1998). Conclusions. In: Theorem Proving with the Real Numbers. Distinguished Dissertations. Springer, London. https://doi.org/10.1007/978-1-4471-1591-5_8
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1591-5_8
Publisher Name: Springer, London
Print ISBN: 978-1-4471-1593-9
Online ISBN: 978-1-4471-1591-5
eBook Packages: Springer Book Archive