Search Results

91 - 100 of 111 items :

  • Cartesian product x
  • Algebra and Number Theory x
Clear All
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
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
Basic Properties of the Rank of Matrices over a Field

. [24] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics , 1(2):329-334, 1990. [25] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1(1):115-122, 1990. [26] Andrzej Trybulec. Function domains and Fránkel operator. Formalized Mathematics , 1(3):495-500, 1990. [27] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics , 1(1):9-11, 1990. [28] Andrzej Trybulec and Agata Darmochwał

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
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
Topological Properties of Real Normed Space

. Banach space of absolute summable real sequences. Formalized Mathematics, 11(4):377-380, 2003. [23] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1): 115-122, 1990. [24] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1 (2):329-334, 1990. [25] Andrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4): 341-347, 2003. [26] Wojciech A. Trybulec. Subspaces and cosets of subspaces in real linear space. Formalized

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
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
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