Tentative Experiments with Ellipsis in Mizar
- 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
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.
Unable to display preview. Download preview PDF.