Skip to main content
SpringerLink
Log in
Book cover

Z User Workshop, London 1992 pp 9–36Cite as

Putting Numbers into the Mathematical Toolkit

  • Conference paper

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Summary

The support for numbers in the current mathematical tool-kit of Z extends only to integers, and even for them most actual definitions are omitted. This paper supplies all necessary definitions and extends support to real numbers and to intervals which may be used to approximate them.

The work was undertaken as part of the RECOUP project, under SERC grant number GR/F 99656/4/1/2152.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References and Bibliography

  • Aberth O. Computable Analysis. McGraw Hill 1980

    Google Scholar 

  • Hardy G H. A Course in Pure Mathematics. Cambridge University Press (first edition 1908 ...)

    Google Scholar 

  • Hayes I (ed). Specification Case Studies, Prentice Hall 1987

    Google Scholar 

  • Kulisch U W, and Miranker W L. Computer Arithmetic in Theory and ractice. Academic Press 1981

    Google Scholar 

  • Moore R E. Methods and Applications of Interval Analysis. SIAM 1979

    Google Scholar 

  • Spivey J M. The Z Notation — A Reference Manual (second edition) Prentice Hall 1992

    Google Scholar 

  • Suppes P. Axiomatic Set Theory. Van Nostrand 1960, Dover 1972

    Google Scholar 

  • Valentine S H. Z—, an Executable Subset of Z. In: Nicholls J E (ed) Proceedings of Sixth Z User Meeting, Dec 1991. Springer 1992

    Google Scholar 

  • Valentine S H. Enhancements to the Z Mathematical Toolkit. University of Brighton, Computer Dept Technical Report, 1993

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Brighton, UK

    Samuel H. Valentine

Authors
  1. Samuel H. Valentine
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Programming Research Group, Oxford University Computing Laboratory, 11 Keble Road, OX1 3QD, Oxford, UK

    J. P. Bowen MA  & J. E. Nicholls MA  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Valentine, S.H. (1993). Putting Numbers into the Mathematical Toolkit. In: Bowen, J.P., Nicholls, J.E. (eds) Z User Workshop, London 1992. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3556-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3556-2_2

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19818-5

  • Online ISBN: 978-1-4471-3556-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation