scientific article; zbMATH DE number 4197282
From MaRDI portal
Publication:5203581
Recommendations
Cited in
(90)- Decompostition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems
- A decomposition method for solving nonlinear systems of compartment models
- Rank of submodule, linear transformations and linearly independent subsets of 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 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
- Dual lattice of \(\mathbb{Z}\)-module lattice
- Categorical pullbacks
- Definition and properties of direct sum decomposition of groups.
- Matrix of \(\mathbb{Z}\)-module
- -ring and -algebra of sets
- Separability of real normed spaces and its basic properties
- Equivalent expressions of direct sum decomposition of groups.
- 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.
- scientific article; zbMATH DE number 7028082 (Why is no real title available?)
- \(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
- scientific article; zbMATH DE number 4119940 (Why is no real title available?)
- 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
- A new decomposition method for solving system of nonlinear equations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5203581)
