Double sequences and limits

DOI10.2478/FORMA-2013-0018zbMath1298.40003OpenAlexW2023102124MaRDI QIDQ467788

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou

Publication date: 5 November 2014

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2013-0018

zbMATH Keywords

formalization of basic metric spacelimits of double sequences

Mathematics Subject Classification ID

Convergence and divergence of series and sequences (40A05) Mechanization of proofs and logical operations (03B35) Multiple sequences and series (40B05)

Related Items (3)

Double series and sums ⋮ Extended real-valued double sequence and its convergence ⋮ Double sequences and iterated limits in regular space

Cites Work

• The orthogonal projection and the Riesz representation theorem
• Semantics of MML Query - Ordering
• Unnamed Item

This page was built for publication: Double sequences and limits