Journal of Formalized Mathematics
Volume 1, 1989
University of Bialystok
Copyright (c) 1989 Association of Mizar Users

Some Properties of Functions Modul and Signum


Jan Popiolek
Warsaw University, Bialystok

Summary.

The article includes definitions and theorems concerning basic properties of the following functions: $|x|$ - modul of real number, sgn $x$ - signum of real number.

MML Identifier: ABSVALUE

The terminology and notation used in this paper have been introduced in the following articles [1] [2]

Contents (PDF format)

Bibliography

[1] Grzegorz Bancerek. The ordinal numbers. Journal of Formalized Mathematics, 1, 1989.
[2] Krzysztof Hryniewiecki. Basic properties of real numbers. Journal of Formalized Mathematics, 1, 1989.

Received June 21, 1989

[ Download a postscript version, MML identifier index, Mizar home page]