Skip to main content
SpringerLink
Log in

Mathematical formalization of stratigraphic terminology

  • Published:
Journal of the International Association for Mathematical Geology Aims and scope Submit manuscript

Abstract

Some concepts and terminology of stratigraphy are expressed in terms of mathematical set notation. This formalized statement of traditional geologic concepts will facilitate computer manipulation of stratigraphic data. Set notation may be easily adapted to definition of rock units, stratigraphic order, stratigraphic correlation, time relationships, and fossil zonation.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Dienes, I., 1971, On a class of algorithms for geological correlation, in: Proceedings of the Conference of Specialists of Member Nations of the Council for Mutual Economic Aid (Comecon) in Alma-Ata: Nedra Publishers, Moscow.

    Google Scholar 

  • Dienes, I., 1973, Some problems in the algorithmization of the geologist's work,in Proceedings of the symposium Hornická Pribram ve vede a technice: Sekce M 9, pp. 165–179.

  • Dienes, I., 1974a, General formulation of correlation problem and its solution in two special situations: Jour. Math. Geology, v. 6, no. 1, p. 73–81.

    Google Scholar 

  • Dienes, I., 1974b, Subdivision of geological bodies into ordered parts,in Matematika és számitástechnika a nyersanyagkutatásban, Proceedings of a conference held at Budapest, v. 1: Hungarian Geological Society, pp. 138–147.

  • Dienes, I., 1977, Formalized Stratigraphy: basic notions and advantages,in Recent advances in Geomathematics, Ed.: D. F. Merriam, Pergamon (in press).

  • International Subcommission on Stratigraphic Classification, 1972, Summary of an international guide to stratigraphic classification, terminology, and usage: ISSC Rept. no. 7, Lethaia, v. 5, p. 283–323.

    Google Scholar 

  • Kovács, L. B., and Dienes, I., 1977, Maximal transitive paths and their application to a geological problem; setting up stratigraphic units,in Proceedings of the IX Int. Mathematical Programming Conference, Budapest: North-Holland Publ. Co., Amsterdam (in press).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hungarian Geological Survey, Budapest, Hungary

    I. Dienes

  2. Editorial Collaborator, University of Illinois, 61801, Urbana, Illinois

    C. John Mann

Authors
  1. I. Dienes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. John Mann
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dienes, I., Mann, C.J. Mathematical formalization of stratigraphic terminology. Math Geol 9, 587–603 (1977). https://doi.org/10.1007/BF02067215

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02067215

Key words

Search

Navigation