Double series and sums

DOI10.2478/forma-2014-0006zbMath1298.40002MaRDI 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

40A05: Convergence and divergence of series and sequences

03B35: Mechanization of proofs and logical operations

40B05: Multiple sequences and series