| Publication | Date of Publication | Type |
|---|
Isomorphism between spaces of multilinear maps and nested compositions over real normed vector spaces
Formalized Mathematics | 2024-04-22 | Paper |
Inverse function theorem. I
Formalized Mathematics | 2021-11-17 | Paper |
Operations of points on elliptic curve in affine coordinates
Formalized Mathematics | 2020-03-10 | Paper |
Continuity of bounded linear operators on normed linear spaces
Formalized Mathematics | 2019-07-10 | Paper |
Maximum number of steps taken by modular exponentiation and Euclidean algorithm
Formalized Mathematics | 2019-05-24 | Paper |
Implicit function theorem. I
Formalized Mathematics | 2018-10-16 | Paper |
Isomorphism theorem on vector spaces over a ring
Formalized Mathematics | 2018-01-11 | Paper |
Dual lattice of \(\mathbb{Z}\)-module lattice
Formalized Mathematics | 2017-10-06 | Paper |
Embedded lattice and properties of Gram matrix
Formalized Mathematics | 2017-06-07 | Paper |
Divisible \(\mathbb{Z}\)-modules
Formalized Mathematics | 2016-09-01 | Paper |
Lattice of \(\mathbb{Z}\)-module
Formalized Mathematics | 2016-09-01 | Paper |
Torsion part of \(\mathbb{Z}\)-module
Formalized Mathematics | 2016-04-20 | Paper |
Polynomially bounded sequences and polynomial sequences
Formalized Mathematics | 2015-10-07 | Paper |
Matrix of \(\mathbb{Z}\)-module
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 |
Topological properties of real normed space
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 |
Constructing binary Huffman tree
Formalized Mathematics | 2014-11-05 | Paper |
Isometric differentiable functions on real normed space
Formalized Mathematics | 2014-11-05 | 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 |
Operations of points on elliptic curve in projective coordinates
Formalized Mathematics | 2013-12-03 | Paper |
Formalization of integral linear space
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 definitions and theorems related to an elliptic curve over a finite prime field by using Mizar
Journal of Automated Reasoning | 2013-04-17 | Paper |
A Countermeasure for Protecting NTRUSign against the Transcript Attack
Interdisciplinary Information Sciences | 2008-07-11 | Paper |
