| Finite Dimensional Real Normed Spaces are Proper Metric Spaces. | 0 | 0.34 | 2021 |
| Ascoli-Arzelà TheoremThis work was supported by JSPS KAKENHI Grant Numbers JP17K00182. | 0 | 0.34 | 2021 |
| Implicit Function Theorem. Part II. | 0 | 0.34 | 2019 |
| Continuity of Bounded Linear Operators on Normed Linear Spaces. | 0 | 0.34 | 2018 |
| Dual Lattice of ℤ-module Lattice. | 0 | 0.34 | 2017 |
| Isomorphism Theorem on Vector Spaces over a Ring. | 0 | 0.34 | 2017 |
| Implicit Function Theorem. Part I. | 0 | 0.34 | 2017 |
| Compactness in Metric Spaces. | 0 | 0.34 | 2016 |
| Privacy Preserving Logic Formula Calculation in Cloud | 0 | 0.34 | 2016 |
| The Basic Existence Theorem of Riemann-Stieltjes Integral. | 0 | 0.34 | 2016 |
| Riemann-Stieltjes Integral. | 0 | 0.34 | 2016 |
| Divisible ℤ-modules. | 0 | 0.34 | 2016 |
| The Orthogonal Projection and the Riesz Representation Theorem. | 0 | 0.34 | 2015 |
| Matrix of ℤ-module1. | 1 | 0.41 | 2015 |
| Torsion Part of ℤ-module. | 0 | 0.34 | 2015 |
| Equivalent Expressions of Direct Sum Decomposition of Groups1. | 0 | 0.34 | 2015 |
| Weak Convergence and Weak Convergence. | 0 | 0.34 | 2015 |
| Continuity of approximate reasoning using fuzzy number under Łukasiewicz t-norm | 0 | 0.34 | 2015 |
| Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library | 1 | 0.35 | 2015 |
| Topological Properties Of Real Normed Space | 3 | 0.75 | 2014 |
| Bidual Spaces And Reflexivity Of Real Normed Spaces | 2 | 0.53 | 2014 |
| Definition Of Flat Poset And Existence Theorems For Recursive Call | 0 | 0.34 | 2014 |
| Rank Of Submodule, Linear Transformations And Linearly Independent Subsets Of Z-Module | 1 | 0.43 | 2014 |
| Dual Spaces And Hahn-Banach Theorem | 5 | 1.68 | 2014 |
| Constructing Binary Huffman Tree | 0 | 0.34 | 2013 |
| The Linearity Of Riemann Integral On Functions From R Into Real Banach Space | 1 | 0.38 | 2013 |
| Double Sequences And Limits | 2 | 0.61 | 2013 |
| Riemann Integral Of Functions From R Into Real Banach Space | 1 | 0.45 | 2013 |
| Isometric Differentiable Functions On Real Normed Space | 0 | 0.34 | 2013 |
| Differential Equations On Functions From R Into Real Banach Space | 0 | 0.34 | 2013 |
| Gaussian Integers. | 0 | 0.34 | 2013 |
| Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar. | 0 | 0.34 | 2013 |
| Isomorphisms Of Direct Products Of Cyclic Groups Of Prime Power Order | 0 | 0.34 | 2013 |
| Formulation Of Cell Petri Nets | 0 | 0.34 | 2013 |
| Random Variables And Product Of Probability Spaces | 2 | 0.84 | 2013 |
| Submodule Of Free Z-Module | 2 | 0.58 | 2013 |
| Isomorphisms Of Direct Products Of Finite Cyclic Groups | 1 | 0.63 | 2013 |
| Extended Euclidean Algorithm And Crt Algorithm | 0 | 0.34 | 2012 |
| The Differentiable Functions From R Into R-N | 1 | 0.38 | 2012 |
| Free ℤ-module. | 0 | 0.34 | 2012 |
| Z-modules. | 0 | 0.34 | 2012 |
| On L-1 Space Formed By Complex-Valued Partial Functions | 0 | 0.34 | 2012 |
| Operations Of Points On Elliptic Curve In Projective Coordinates | 1 | 0.35 | 2012 |
| Banach'S Continuous Inverse Theorem And Closed Graph Theorem | 1 | 0.48 | 2012 |
| Optimization of SIRMs fuzzy model using Łukasiewicz logic | 4 | 0.96 | 2012 |
| Differentiable Functions On Normed Linear Spaces | 3 | 0.67 | 2012 |
| Contracting Mapping On Normed Linear Space | 3 | 0.47 | 2012 |
| More On The Continuity Of Real Functions | 5 | 1.06 | 2011 |
| Cartesian Products Of Family Of Real Linear Spaces | 5 | 1.36 | 2011 |
| Set of Points on Elliptic Curve in Projective Coordinates. | 3 | 2.10 | 2011 |
