Double sequences and limits
From MaRDI portal
Publication:467788
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
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
This page was built for publication: Double sequences and limits