Search Results

91 - 100 of 116 items :

  • Cartesian product x
  • Numerical and Computational Mathematics x
Clear All
Convergent Filter Bases

spaces and continuous functions. Formalized Mathematics , 1(1):223-230, 1990. [24] Alexander Yu. Shibakov and Andrzej Trybulec. The Cantor set. Formalized Mathematics , 5(2):233-236, 1996. [25] Andrzej Trybulec. Tuples, projections and Cartesian products. Formalized Mathematics , 1(1):97-105, 1990. [26] Andrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics , 11(4): 341-347, 2003. [27] Andrzej Trybulec. Moore-Smith convergence. Formalized Mathematics , 6(2):213-225, 1997

Open access
Eigenvalues of a Linear Transformation

Pαk. Basic properties of the rank of matrices over a field. Formalized Mathematics , 15(4):199-211, 2007. [23] Karol Pαk and Andrzej Trybulec. Laplace expansion. Formalized Mathematics , 15(3):143-150, 2007. [24] Karol Pąk. Linear map of matrices. Formalized Mathematics , 16(3):269-275, 2008. [25] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1(1):115-122, 1990. [26] Wojciech A. Trybulec. Basis of vector space. Formalized

Open access
Multiplication of Polynomials using Discrete Fourier Transformation

] Andrzej Trybulec. Tuples, projections and Cartesian products. Formalized Mathematics , 1(1):97-105, 1990. [22] Michał J. Trybulec. Integers. Formalized Mathematics , 1(3):501-505, 1990. [23] Wojciech A. Trybulec. Groups. Formalized Mathematics , 1(5):821-827, 1990. [24] Wojciech A. Trybulec. Pigeon hole principle. Formalized Mathematics , 1(3):575-579, 1990. [25] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics , 1(2):291-296, 1990

Open access
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module

, Wojciech Leonczuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335-342, 1990. [23] Serge Lang. Algebra. Springer, 3rd edition, 2005. [24] Dariusz Surowik. Cyclic groups and some of their properties - part I. Formalized Mathematics, 2(5):623-627, 1991. [25] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1): 115-122, 1990. [26] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1 (2

Open access
Torsion Z-module and Torsion-free Z-module

Schwarzweller. The ring of integers, Euclidean rings and modulo integers. Formalized Mathematics, 8(1):29-34, 1999. [26] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1): 115-122, 1990. [27] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990. [28] Wojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821-827, 1990. [29] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990. [30] Wojciech A

Open access
Separability of Real Normed Spaces and Its Basic Properties

Mathematics , 1( 1 ):223–230, 1990. [24] Jan Popiołek. Real normed space. Formalized Mathematics , 2( 1 ):111–115, 1991. [25] Yasunari Shidama. Banach space of bounded linear operators. Formalized Mathematics , 12( 1 ):39–48, 2004. [26] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1( 1 ): 115–122, 1990. [27] Wojciech A. Trybulec. Subspaces and cosets of subspaces in real linear space. Formalized Mathematics , 1( 2 ):297–301, 1990. [28] Wojciech A. Trybulec. Vectors in real linear space. Formalized

Open access
Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*

Cartesian products. Formalized Mathematics , 1(1):115-122, 1990. [26] Andrzej Trybulec. Many-sorted sets. Formalized Mathematics , 4(1):15-22, 1993. [27] Michał J. Trybulec. Integers. Formalized Mathematics , 1(3):501-505, 1990. [28] Wojciech A. Trybulec. Groups. Formalized Mathematics , 1(5):821-827, 1990. [29] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics , 1(2):291-296, 1990. [30] Wojciech A. Trybulec

Open access
Algebraic Approach to Algorithmic Logic

(1): 67-74, 1996. [28] Krzysztof Retel. Properties of first and second order cutting of binary relations. Formalized Mathematics, 13(3):361-365, 2005. [29] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1 (2):329-334, 1990. [30] Andrzej Trybulec. Tuples, projections and Cartesian products. Formalized Mathematics, 1(1):97-105, 1990. [31] Andrzej Trybulec. Many sorted algebras. Formalized Mathematics, 5(1):37-42, 1996. [32] Andrzej Trybulec. Many sorted sets

Open access
Recognizing Chordal Graphs: Lex BFS and MCS1

hypergraphs. SIAM J. Comput. , 13(3):566-579, 1984. [26] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics. [27] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1(1):115-122, 1990. [28] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics , 1(1):9-11, 1990. [29] Andrzej Trybulec. Many-sorted sets. Formalized Mathematics , 4(1):15-22, 1993. [30] Andrzej

Open access
Submodule of free Z-module

abstraction. Formalized Mathematics, 1(3):441-444, 1990. [23] Christoph Schwarzweller. The ring of integers, Euclidean rings and modulo integers. Formalized Mathematics, 8(1):29-34, 1999. [24] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1): 115-122, 1990. [25] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990. [26] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990. [27] Wojciech A. Trybulec

Open access