Tentative Experiments with Ellipsis in Mizar

  • Artur Korniłowicz
Conference paper

DOI: 10.1007/978-3-642-31374-5_35

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7362)
Cite this paper as:
Korniłowicz A. (2012) Tentative Experiments with Ellipsis in Mizar. In: Jeuring J. et al. (eds) Intelligent Computer Mathematics. CICM 2012. Lecture Notes in Computer Science, vol 7362. Springer, Berlin, Heidelberg

Abstract

Ellipses are ubiquitous in mathematical texts. They allow writing sequences of terms or formulas in a concise way. In this paper, we show how ellipses are incorporated into the Mizar language and how they are verified by the Mizar proof checker.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Artur Korniłowicz
    • 1
  1. 1.Institute of InformaticsUniversity of BiałystokPoland

Personalised recommendations