Grzegorz Bancerek. Cardinal numbers. *Formalized Mathematics*, 1(**2**):377-382, 1990.Google Scholar

Grzegorz Bancerek. The fundamental properties of natural numbers. *Formalized Mathematics*, 1(**1**):41-46, 1990.Google Scholar

Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. *Formalized Mathematics*, 1(**1**):107-114, 1990.Google Scholar

Józef Białas. Group and field definitions. *Formalized Mathematics*, 1(**3**):433-439, 1990.Google Scholar

Czesław Byliński. Functions and their basic properties. *Formalized Mathematics*, 1(**1**):55-65, 1990.Google Scholar

Czesław Byliński. Functions from a set to a set. *Formalized Mathematics*, 1(**1**):153-164, 1990.Google Scholar

Czesław Byliński. Some basic properties of sets. *Formalized Mathematics*, 1(**1**):47-53, 1990.Google Scholar

Agata Darmochwał. Finite sets. *Formalized Mathematics*, 1(**1**):165-167, 1990.Google Scholar

Krzysztof Hryniewiecki. Basic properties of real numbers. *Formalized Mathematics*, 1(**1**):35-40, 1990.Google Scholar

G. Seroussi I. Blake and N. Smart. *Elliptic Curves in Cryptography.* Number 265 in London Mathematical Society Lecture Note Series. Cambridge University Press, 1999.Google Scholar

Eugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. *Formalized Mathematics*, 1(**2**):335-342, 1990.Google Scholar

Rafał Kwiatek. Factorial and Newton coefficients. *Formalized Mathematics*, 1(**5**):887-890, 1990.Google Scholar

Konrad Raczkowski and Paweł Sadowski. Equivalence relations and classes of abstraction. *Formalized Mathematics*, 1(**3**):441-444, 1990.Google Scholar

Christoph Schwarzweller. The ring of integers, euclidean rings and modulo integers. *Formalized Mathematics*, 8(**1**):29-34, 1999.Google Scholar

Christoph Schwarzweller. The binomial theorem for algebraic structures. *Formalized Mathematics*, 9(**3**):559-564, 2001.Google Scholar

Andrzej Trybulec. Domains and their Cartesian products. *Formalized Mathematics*, 1(**1**):115-122, 1990.Google Scholar

Andrzej Trybulec. Tuples, projections and Cartesian products. *Formalized Mathematics*, 1(**1**):97-105, 1990.Google Scholar

Michał J. Trybulec. Integers. *Formalized Mathematics*, 1(**3**):501-505, 1990.Google Scholar

Wojciech A. Trybulec. Groups. *Formalized Mathematics*, 1(**5**):821-827, 1990.Google Scholar

Wojciech A. Trybulec. Vectors in real linear space. *Formalized Mathematics*, 1(**2**):291-296, 1990.Google Scholar

Zinaida Trybulec. Properties of subsets. *Formalized Mathematics*, 1(**1**):67-71, 1990.Google Scholar

Edmund Woronowicz. Relations and their basic properties. *Formalized Mathematics*, 1(**1**):73-83, 1990.Google Scholar

Edmund Woronowicz and Anna Zalewska. Properties of binary relations. *Formalized Mathematics*, 1(**1**):85-89, 1990.Google Scholar

## Comments (0)