Search Results

31 - 40 of 115 items :

  • Cartesian product x
  • Numerical and Computational Mathematics x
Clear All
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
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
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
Banach’s Continuous Inverse Theorem and Closed Graph Theorem

Mathematics , 1( 2 ):335-342, 1990. [10] Isao Miyadera. Functional Analysis . Riko-Gaku-Sya, 1972. [11] Takaya Nishiyama, Keiji Ohkubo, and Yasunari Shidama. The continuous functions on normed linear spaces. Formalized Mathematics , 12( 3 ):269-275, 2004. [12] 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. [13] Beata Padlewska and Agata Darmochwał. Topological spaces and

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