Double series and sums

DOI10.2478/FORMA-2014-0006zbMath1298.40002OpenAlexW998914686MaRDI QIDQ467812

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-2014-0006

zbMATH Keywords

double series

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)

Algorithm NextFit for the bin packing problem ⋮ Basel problem -- preliminaries ⋮ Extended real-valued double sequence and its convergence

Cites Work

• Unnamed Item
• Double sequences and limits
• The orthogonal projection and the Riesz representation theorem
• Semantics of MML Query - Ordering
• Representation Theorem for Stacks

This page was built for publication: Double series and sums