Abstract | ||
---|---|---|
Double sequences are important extension of the ordinary notion of a sequence. In this article we formalized three types of limits of double sequences and the theory of these limits. |
Year | DOI | Venue |
---|---|---|
2013 | 10.2478/forma-2013-0018 | FORMALIZED MATHEMATICS |
Keywords | Field | DocType |
formalization of basic metric space, limits of double sequences | Discrete mathematics,Natural number,Functor,Real number,Mathematics | Journal |
Volume | Issue | ISSN |
21 | 3 | 1898-9934 |
Citations | PageRank | References |
2 | 0.61 | 1 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Noboru Endou | 1 | 72 | 28.00 |
Hiroyuki Okazaki | 2 | 2 | 0.61 |
Yasunari Shidama | 3 | 166 | 72.47 |