Double series and sums
From MaRDI portal
Publication:467812
DOI10.2478/forma-2014-0006zbMath1298.40002MaRDI QIDQ467812
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
40A05: Convergence and divergence of series and sequences
03B35: Mechanization of proofs and logical operations
40B05: Multiple sequences and series
Related Items
Cites Work