| Publication | Date of Publication | Type |
|---|
Formalization of orthogonal decomposition for Hilbert spaces
Formalized Mathematics | 2024-06-18 | Paper |
On the formalization of Gram-Schmidt process for orthonormalizing a set of vectors
Formalized Mathematics | 2023-11-28 | Paper |
Finite dimensional real normed spaces are proper metric spaces
Formalized Mathematics | 2022-09-09 | Paper |
The 3-fold product space of real normed spaces and its properties
Formalized Mathematics | 2022-09-09 | Paper |
Real vector space and related notions
Formalized Mathematics | 2022-03-29 | Paper |
Operations of points on elliptic curve in affine coordinates
Formalized Mathematics | 2020-03-10 | Paper |
Binary representation of natural numbers
Formalized Mathematics | 2019-07-10 | Paper |
Maximum number of steps taken by modular exponentiation and Euclidean algorithm
Formalized Mathematics | 2019-05-24 | Paper |
Conservation rules of direct sum decomposition of groups
Formalized Mathematics | 2016-09-01 | Paper |
Torsion part of \(\mathbb{Z}\)-module
Formalized Mathematics | 2016-04-20 | Paper |
Algebra of polynomially bounded sequences and negligible functions
Formalized Mathematics | 2016-04-20 | Paper |
Polynomially bounded sequences and polynomial sequences
Formalized Mathematics | 2015-10-07 | Paper |
Definition and properties of direct sum decomposition of groups.
Formalized Mathematics | 2015-08-06 | Paper |
Matrix of \(\mathbb{Z}\)-module
Formalized Mathematics | 2015-08-06 | Paper |
Equivalent expressions of direct sum decomposition of groups.
Formalized Mathematics | 2015-08-06 | Paper |
Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
Formalized Mathematics | 2015-07-14 | Paper |
Rank of submodule, linear transformations and linearly independent subsets of \(\mathbb Z\)-module
Formalized Mathematics | 2015-05-12 | Paper |
Difference of function on vector space over \(\mathbb F\)
Formalized Mathematics | 2015-05-12 | Paper |
Gaussian integers
Formalized Mathematics | 2014-11-05 | Paper |
Submodule of free \(\mathbb Z\)-module
Formalized Mathematics | 2014-11-05 | Paper |
Double sequences and limits
Formalized Mathematics | 2014-11-05 | Paper |
\(N\)-dimensional binary vector spaces
Formalized Mathematics | 2014-11-05 | Paper |
Constructing binary Huffman tree
Formalized Mathematics | 2014-11-05 | Paper |
Formalization of the Advanced Encryption Standard. I
Formalized Mathematics | 2014-11-05 | Paper |
Isomorphisms of direct products of cyclic groups of prime power order.
Formalized Mathematics | 2014-11-05 | Paper |
Cartesian products of family of real linear spaces
Formalized Mathematics | 2013-12-03 | Paper |
Set of points on elliptic curve in projective coordinates
Formalized Mathematics | 2013-12-03 | Paper |
\(\mathbb Z\)-modules
Formalized Mathematics | 2013-12-03 | Paper |
More on continuous functions on normed linear spaces
Formalized Mathematics | 2013-12-03 | Paper |
Differentiable functions into real normed spaces
Formalized Mathematics | 2013-12-03 | Paper |
Operations of points on elliptic curve in projective coordinates
Formalized Mathematics | 2013-12-03 | Paper |
Normal subgroup of product of groups.
Formalized Mathematics | 2013-12-03 | Paper |
Formalization of integral linear space
Formalized Mathematics | 2013-12-03 | Paper |
Banach algebra of bounded complex-valued functionals
Formalized Mathematics | 2013-12-03 | Paper |
Functional space \(C(\Omega), C_0(\Omega)\)
Formalized Mathematics | 2013-12-03 | Paper |
Quotient module of \(\mathbb Z\)-module
Formalized Mathematics | 2013-10-08 | Paper |
Free \(\mathbb Z\)-module
Formalized Mathematics | 2013-10-08 | Paper |
Formalization of the data encryption standard
Formalized Mathematics | 2013-10-08 | Paper |
Isomorphisms of direct products of finite cyclic groups.
Formalized Mathematics | 2013-10-08 | Paper |
Random variables and product of probability spaces
Formalized Mathematics | 2013-10-08 | Paper |
Isomorphisms of direct products of finite commutative groups.
Formalized Mathematics | 2013-10-08 | Paper |
Banach's continuous inverse theorem and closed graph theorem
Formalized Mathematics | 2013-10-08 | Paper |
Higher-order partial differentiation
Formalized Mathematics | 2013-10-08 | Paper |
The \(C^k\) space
Formalized Mathematics | 2013-10-08 | Paper |
Extended Euclidean algorithm and CRT algorithm
Formalized Mathematics | 2013-10-08 | Paper |
Posterior probability on finite set
Formalized Mathematics | 2013-10-08 | Paper |
Formalization of definitions and theorems related to an elliptic curve over a finite prime field by using Mizar
Journal of Automated Reasoning | 2013-04-17 | Paper |
