projects / helm.git / search
| 2007-07-30 | Cristian Armentano | renamed generic_sigma_p.ma to generic_iter_p.ma |
commit | commitdiff | tree |
| 2007-06-30 | Cristian Armentano | New definition of Euler's totient function. |
commit | commitdiff | tree |
| 2007-06-29 | Cristian Armentano | generic version, specializing generic_sigma_p.ma |
commit | commitdiff | tree |
| 2007-06-29 | Cristian Armentano | generic version |
commit | commitdiff | tree |
| 2007-06-29 | Cristian Armentano | theorems about sigma_p proved using sigma_p_gen |
commit | commitdiff | tree |
| 2007-06-27 | Cristian Armentano | new gcd properties, and theorems for totient, and theorems... |
commit | commitdiff | tree |
| 2007-06-26 | Cristian Armentano | (no commit message) |
commit | commitdiff | tree |
| 2007-06-26 | Cristian Armentano | generic sommatory. |
commit | commitdiff | tree |
| 2007-04-20 | Cristian Armentano | changed base uri |
commit | commitdiff | tree |
| 2007-04-20 | Cristian Armentano | initial import |
commit | commitdiff | tree |