]> matita.cs.unibo.it Git - helm.git/commit
Chebishev ported
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 3 Jan 2013 16:15:54 +0000 (16:15 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 3 Jan 2013 16:15:54 +0000 (16:15 +0000)
commit342278d86d2ebb11b046dcc9f44cc5d08cd16352
treee2a4a7aa44342e9f28b14b1d9973b4965dd50528
parentc821924472ab07f543c0e4acd0b808715de7a934
Chebishev ported
matita/matita/lib/arithmetics/bigops.ma
matita/matita/lib/arithmetics/binomial.ma
matita/matita/lib/arithmetics/chebyshev/bertrand.ma
matita/matita/lib/arithmetics/chebyshev/bertrand256.ma
matita/matita/lib/arithmetics/chebyshev/chebyshev.ma
matita/matita/lib/arithmetics/log.ma
matita/matita/lib/arithmetics/minimization.ma
matita/matita/lib/arithmetics/ord.ma
matita/matita/lib/arithmetics/sqrt.ma