Search Results

31 - 40 of 116 items :

  • Cartesian product x
  • Numerical and Computational Mathematics x
Clear All
Stone Lattices

R eferences [1] Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics , 1( 2 ):377–382, 1990. [2] Grzegorz Bancerek. Filters – part II. Quotient lattices modulo filters and direct product of two lattices. Formalized Mathematics , 2( 3 ):433–438, 1991. [3] Grzegorz Bancerek. Ideals. Formalized Mathematics , 5( 2 ):149–156, 1996. [4] Grzegorz Bancerek. Complete lattices. Formalized Mathematics , 2( 5 ):719–725, 1991. [5] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics , 1( 1 ):91–96, 1990. [6] Grzegorz

Open access
On the Properties of the Möbius Function

. [22] Piotr Rudnicki and Andrzej Trybulec. Multivariate polynomials with arbitrary number of variables. Formalized Mathematics , 9(1):95-110, 2001. [23] Christoph Schwarzweller and Andrzej Trybulec. The evaluation of multivariate polynomials. Formalized Mathematics , 9(2):331-338, 2001. [24] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics. [25] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1(1):115-122, 1990

Open access
Isomorphisms of Direct Products of Finite Cyclic Groups

-342, 1990. [15] Anna Lango and Grzegorz Bancerek. Product of families of groups and vector spaces. Formalized Mathematics , 3( 2 ):235-240, 1992. [16] Hiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. Cartesian products of family of real linear spaces. Formalized Mathematics , 19( 1 ):51-59, 2011, doi: 10.2478/v10037-011-0009-2. [17] Christoph Schwarzweller. The ring of integers, Euclidean rings and modulo integers. Formalized Mathematics , 8( 1 ):29-34, 1999. [18] Christoph Schwarzweller. Modular

Open access
Weak Completeness Theorem for Propositional Linear Time Temporal Logic

functions. Formalized Mathematics , 1( 2 ):329-334, 1990. [24] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1( 1 ):115-122, 1990. [25] Andrzej Trybulec. Enumerated sets. Formalized Mathematics , 1( 1 ):25-34, 1990. [26] Andrzej Trybulec. Tuples, projections and Cartesian products. Formalized Mathematics , 1( 1 ):97-105, 1990. [27] Andrzej Trybulec. Defining by structural induction in the positive propositional language. Formalized Mathematics , 8( 1 ):133-137, 1999

Open access
Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem

. Beata Padlewska. Families of sets. Formalized Mathematics , 1( 1 ):147-152, 1990. Marta Pruszyńska and Marek Dudzicz. On the isomorphism between finite chains. Formalized Mathematics , 9( 2 ):429-430, 2001. Konrad Raczkowski and Paweł Sadowski. Equivalence relations and classes of abstraction. Formalized Mathematics , 1( 3 ):441-444, 1990. Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1( 1 ):115-122, 1990. Andrzej Trybulec

Open access
The Rank+Nullity Theorem

] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics , 1(2):329-334, 1990. [19] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1(1):115-122, 1990. [20] Andrzej Trybulec. Function domains and Fránkel operator. Formalized Mathematics , 1(3):495-500, 1990. [21] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics , 1(1):9-11, 1990. [22] Andrzej Trybulec. Tuples, projections and

Open access
String Rewriting Systems

] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics , 1(2):329-334, 1990. [10] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1(1):115-122, 1990. [11] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics , 1(1):9-11, 1990. [12] Michał Trybulec. Formal languages - concatenation and closure. Formalized Mathematics , 15(1):11-15, 2007. [13] Zinaida Trybulec. Properties of subsets

Open access
Brouwer Fixed Point Theorem in the General Case

Nakamura, Andrzej Trybulec, and Czesław Byliński. Bounded domains and unbounded domains. Formalized Mathematics , 8( 1 ):1-13, 1999. Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics , 1( 1 ):223-230, 1990. Karol Sieklucki. Geometria i topologia. PWN, 1979. Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1( 1 ):115-122, 1990. Andrzej Trybulec. A Borsuk theorem on homotopy

Open access
Combinatorial Grassmannians

. [10] Wojciech Leończuk and Krzysztof Prażmowski. Incidence projective spaces. Formalized Mathematics , 2(2):225-232, 1991. [11] Beata Padlewska. Families of sets. Formalized Mathematics , 1(1):147-152, 1990. [12] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics. [13] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1(1):115-122, 1990. [14] Andrzej Trybulec. Enumerated sets. Formalized

Open access
Formulation of Cell Petri Nets

. Properties of first and second order cutting of binary relations. Formalized Mathematics, 13(3):361-365, 2005. [15] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1): 115-122, 1990. [16] Andrzej Trybulec. Many sorted sets. Formalized Mathematics, 4(1):15-22, 1993. [17] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990. [18] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990. [19] Edmund Woronowicz

Open access