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