scientific article; zbMATH DE number 4197282
From MaRDI portal
Publication:5203581
zbMath0725.65053MaRDI QIDQ5203581
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (85)
Summable family in a commutative group ⋮ Topology from neighbourhoods ⋮ Torsion part of \(\mathbb{Z}\)-module ⋮ Construction of measure from semialgebra of sets ⋮ Event-based proof of the mutual exclusion property of Peterson's algorithm ⋮ Characteristic of rings. Prime fields ⋮ Exponential objects ⋮ Algebra of polynomially bounded sequences and negligible functions ⋮ Propositional linear temporal logic with initial validity semantics ⋮ Stone lattices. ⋮ Dual lattice of \(\mathbb{Z}\)-module lattice ⋮ \(N\)-dimensional binary vector spaces ⋮ Some properties of the Sorgenfrey line and the Sorgenfrey plane ⋮ More on divisibility criteria for selected primes ⋮ Differentiation in normed spaces ⋮ Polygonal numbers ⋮ Gaussian integers ⋮ Commutativeness of fundamental groups of topological groups ⋮ Constructing binary Huffman tree ⋮ Riemann integral of functions from \(\mathbb{R}\) into real Banach space ⋮ On square-free numbers ⋮ Double sequences and limits ⋮ Formalization of the Advanced Encryption Standard. I ⋮ The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space ⋮ Object-free definition of categories ⋮ Isomorphisms of direct products of cyclic groups of prime power order. ⋮ Prime filters and ideals in distributive lattices ⋮ Introduction to formal preference spaces ⋮ Coproducts in categories without uniqueness of \(\mathbf{cod}\) and \(\mathbf{dom}\) ⋮ Formulation of cell Petri nets ⋮ Isometric differentiable functions on real normed space ⋮ Differential equations on functions from \(\mathbb R\) into real Banach space ⋮ Submodule of free \(\mathbb Z\)-module ⋮ Definition of flat poset and existence theorems for recursive call ⋮ Tietze extension theorem for \(n\)-dimensional spaces ⋮ Brouwer invariance of domain theorem ⋮ The formalization of decision-free Petri net ⋮ Abstract reduction systems and idea of Knuth-Bendix completion algorithm ⋮ Double series and sums ⋮ Dual spaces and Hahn-Banach theorem ⋮ Semiring of sets ⋮ Semiring of sets: examples ⋮ Topological interpretation of rough sets ⋮ Morley's trisector theorem ⋮ Flexary operations ⋮ Euler's partition theorem ⋮ Introduction to Diophantine approximation ⋮ Finite product of semiring of sets ⋮ Two axiomatizations of Nelson algebras. ⋮ Groups -- additive notation. ⋮ Polish notation ⋮ Grzegorczyk's logics. I ⋮ Convergent filter bases ⋮ Polynomially bounded sequences and polynomial sequences ⋮ Weak convergence and weak\(^\ast\) convergence ⋮ The orthogonal projection and the Riesz representation theorem ⋮ Extended real-valued double sequence and its convergence ⋮ Binary relations-based rough sets -- an automated approach ⋮ Pseudo-canonical formulae are classical ⋮ Lagrange's four-square theorem ⋮ Proth numbers ⋮ Bertrand's ballot theorem ⋮ Term context ⋮ Cauchy mean theorem ⋮ Tarski geometry axioms ⋮ A note on the seven bridges of Königsberg problem ⋮ Topological manifolds ⋮ Categorical pullbacks ⋮ Definition and properties of direct sum decomposition of groups. ⋮ Matrix of \(\mathbb{Z}\)-module ⋮ \(\sigma\)-ring and \(\sigma\)-algebra of sets ⋮ Separability of real normed spaces and its basic properties ⋮ Equivalent expressions of direct sum decomposition of groups. ⋮ Rank of submodule, linear transformations and linearly independent subsets of \(\mathbb Z\)-module ⋮ Events of Borel sets, construction of Borel sets and random variables for stochastic finance ⋮ Topological properties of real normed space ⋮ Algebraic approach to algorithmic logic ⋮ Formalization of generalized almost distributive lattices. ⋮ Difference of function on vector space over \(\mathbb F\) ⋮ Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module ⋮ The first isomorphism theorem and other properties of rings ⋮ Bidual spaces and reflexivity of real normed spaces ⋮ Some facts about trigonometry and Euclidean geometry ⋮ The formal construction of fuzzy numbers ⋮ Embedded lattice and properties of Gram matrix
This page was built for publication:
