Search Results

41 - 50 of 111 items :

  • Cartesian product x
  • Algebra and Number Theory x
Clear All
Valuation Theory. Part I

. Michał Muzalewski. Construction of rings and left-, right-, and bi-modules over a ring. Formalized Mathematics , 2( 1 ):3-11, 1991. Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1( 1 ):115-122, 1990. Michał J. Trybulec. Integers. Formalized Mathematics , 1( 3 ):501-505, 1990. Wojciech A. Trybulec. Groups. Formalized Mathematics , 1( 5 ):821-827, 1990. Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics

Open access
Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part II

, projections and Cartesian products. Formalized Mathematics , 1(1):97-105, 1990. [13] Andrzej Trybulec. Many-sorted sets. Formalized Mathematics , 4(1):15-22, 1993. [14] Andrzej Trybulec. Many sorted algebras. Formalized Mathematics , 5(1):37-42, 1996. [15] Zinaida Trybulec. Properties of subsets. Formalized Mathematics , 1(1):67-71, 1990. [16] Edmund Woronowicz. Many-argument relations. Formalized Mathematics , 1(4):733-737, 1990. [17

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
Fatou's Lemma and the Lebesgue's Convergence Theorem

from a domain to a domain. Formalized Mathematics , 3(1):17-21, 1992. [14] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1(1):115-122, 1990. [15] Zinaida Trybulec. Properties of subsets. Formalized Mathematics , 1(1):67-71, 1990. [16] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics , 1(1):181-186, 1990. [17] Hiroshi Yamazaki, Noboru Endou, Yasunari Shidama, and Hiroyuki Okazaki. Inferior limit, superior

Open access
Free Magmas

):147-152, 1990. [14] Konrad Raczkowski and Paweł Sadowski. Equivalence relations and classes of abstraction. Formalized Mathematics , 1( 3 ):441-444, 1990. [15] Andrzej Trybulec. Tuples, projections and Cartesian products. Formalized Mathematics , 1( 1 ):97-105, 1990. [16] Andrzej Trybulec. Moore-Smith convergence. Formalized Mathematics , 6( 2 ):213-225, 1997. [17] Wojciech A. Trybulec and Michał J. Trybulec. Homomorphisms and isomorphisms of groups. Quotient

Open access
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support

their Cartesian products. Formalized Mathematics , 1( 1 ):115-122, 1990. [18] Wojciech A. Trybulec. Groups. Formalized Mathematics , 1( 5 ):821-827, 1990. [19] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics , 1( 2 ):291-296, 1990. [20] Zinaida Trybulec. Properties of subsets. Formalized Mathematics , 1( 1 ):67-71, 1990.

Open access
Formalization of Integral Linear Space

in engineering and computer science). 2002. [9] 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] Michał J. Trybulec. Integers. Formalized Mathematics , 1( 3 ):501-505, 1990. [12] Wojciech A. Trybulec. Basis of real linear space. Formalized Mathematics , 1( 5 ):847-850, 1990

Open access
Connectedness and Continuous Sequences in Finite Topological Spaces

Mathematics , 1(1):223-230, 1990. [12] Masami Tanaka and Yatsuka Nakamura. Some set series in finite topological spaces. Fundamental concepts for image processing. Formalized Mathematics , 12(2):125-129, 2004. [13] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics. [14] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1(1):115-122, 1990. [15] Andrzej Trybulec. Enumerated sets. Formalized Mathematics , 1

Open access
Complex Integral

-801, 1990. [13] Konrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics , 1( 4 ):777-780, 1990. [14] Yasunari Shidama and Artur Korniłowicz. Convergence and the limit of complex sequences. Series. Formalized Mathematics , 6( 3 ):403-410, 1997. [15] Andrzej Trybulec. Tuples, projections and Cartesian products. Formalized Mathematics , 1( 1 ):97-105, 1990. [16] Zinaida Trybulec. Properties of subsets. Formalized

Open access
Chordal Graphs

(2):235-252, 2005. [13] Yatsuka Nakamura and Piotr Rudnicki. Vertex sequences induced by chains. Formalized Mathematics , 5(3):297-304, 1996. [14] Piotr Rudnicki and Andrzej Trybulec. Abian's fixed point theorem. Formalized Mathematics , 6(3):335-338, 1997. [15] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics. [16] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1(1):115-122, 1990

Open access