Examples of sequences and series

Definitions: - `arithmetic`, `geometric`, `riemann` are names of sequences Theorems: - divergence of the harmonic series - convergence of the series x^n/n! - generalization of the exponential series to any x - convergence of geometric series - divergence of arithmetic sequence
math-comp · Jun 17, 2020 · db2462f · db2462f
1 parent eb14886
commit db2462f
Show file tree

Hide file tree

Showing 2 changed files with 753 additions and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -14,6 +14,7 @@ theories/topology.v
 theories/prodnormedzmodule.v
 theories/normedtype.v
 theories/sequences.v
+theories/sequences_wip.v
 theories/forms.v
 theories/derive.v
 theories/summability.v