Search Results

41 - 50 of 115 items :

  • Cartesian product x
  • Numerical and Computational Mathematics x
Clear All
Introduction to Formal Preference Spaces

Poznaniu, 2005. In Polish. [11] Konrad Raczkowski and Paweł Sadowski. Equivalence relations and classes of abstraction. Formalized Mathematics , 1( 3 ):441-444, 1990. [12] George F. Schumm. Transitivity, preference, and indifference. Philosophical Studies , 52: 435-437, 1987. [13] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1( 1 ): 115-122, 1990. [14] Andrzej Trybulec. Enumerated sets. Formalized Mathematics , 1( 1 ):25-34, 1990. [15] Wojciech A

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
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
Alexandroff One Point Compactification

(1):223-230, 1990. [14] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1(1):115-122, 1990. [15] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics , 1(1):9-11, 1990. [16] Zinaida Trybulec. Properties of subsets. Formalized Mathematics , 1(1):67-71, 1990. [17] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics , 1(1):73-83, 1990. [18] Edmund Woronowicz. Relations

Open access
Dilworth's Decomposition Theorem for Posets

:105-107, 1963. [14] Konrad Raczkowski and Paweł Sadowski. Equivalence relations and classes of abstraction. Formalized Mathematics , 1( 3 ):441-444, 1990. [15] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1( 1 ):115-122, 1990. [16] Wojciech A. Trybulec and Grzegorz Bancerek. Kuratowski - Zorn lemma. Formalized Mathematics , 1( 2 ):387-393, 1990. [17] Zinaida Trybulec. Properties of subsets. Formalized Mathematics , 1( 1 ):67-71, 1990.

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
The Vector Space of Subsets of a Set Based on Symmetric Difference

. [10] John L. Kelley. General Topology , volume 27 of Graduate Texts in Mathematics. Springer-Verlag, 1955. [11] Eugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics , 1(2):335-342, 1990. [12] Christoph Schwarzweller. The ring of integers, euclidean rings and modulo integers. Formalized Mathematics , 8(1):29-34, 1999. [13] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics , 1

Open access