Double sequences and limits
type: Item
instance of: scholarly article
title: Double sequences and limits
zbMATH Open document ID: 1298.40003
author: Noboru Endou
author: Hiroyuki Okazaki
author: Yasunari Shidama
published in: Formalized Mathematics
publication date: 2014-11-05T00:00:00Z
Mathematics Subject Classification ID: 40A05
Mathematics Subject Classification ID: 40B05
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6365900
zbMATH Keywords: formalization of basic metric space
zbMATH Keywords: limits of double sequences
MaRDI profile type: Publication
full work available at URL: forma-2013-0018
OpenAlex ID: W2023102124
cites work: Semantics of MML query -- ordering
cites work: The orthogonal projection and the Riesz representation theorem
cites work: Q5203581
DOI: 10.2478/FORMA-2013-0018
description: scientific article; zbMATH DE number 6365900