]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat/neper.ma
upper bound for logarithmic summation
[helm.git] / helm / software / matita / library / nat / neper.ma
2007-12-17 Wilmer Ricciottiupper bound for logarithmic summation
2007-12-17 Andrea AspertiA few more lemmas.
2007-12-13 Andrea AspertiSome inequalities.
2007-12-12 Wilmer RicciottiProgress.
2007-12-11 Andrea AspertiPartial progress.
2007-12-10 Andrea AspertiMain result for e.
2007-12-10 Andrea AspertiRestructuring.
2007-12-10 Andrea AspertiMain inequalities for e.
2007-12-07 Andrea AspertiBinomial coefficients and costant e.