Metamath Proof Explorer

Table of Contents - 20.3.26. Number Theory

1. efcld
2. iblidicc
3. rpsqrtcn
4. divsqrtid
5. cxpcncf1
6. efmul2picn
7. fct2relem
8. ftc2re
9. fdvposlt
10. fdvneggt
11. fdvposle
12. fdvnegge
13. prodfzo03
14. actfunsnf1o
15. actfunsnrndisj
16. itgexpif
17. fsum2dsub
18. Representations of a number as sums of integers
    1. crepr
    2. df-repr
    3. reprval
    4. repr0
    5. reprf
    6. reprsum
    7. reprle
    8. reprsuc
    9. reprfi
    10. reprss
    11. reprinrn
    12. reprlt
    13. hashreprin
    14. reprgt
    15. reprinfz1
    16. reprfi2
    17. reprfz1
    18. hashrepr
    19. reprpmtf1o
    20. reprdifc
    21. chpvalz
    22. chtvalz
    23. breprexplema
    24. breprexplemb
    25. breprexplemc
    26. breprexp
    27. breprexpnat
19. Vinogradov Trigonometric Sums and the Circle Method
    1. cvts
    2. df-vts
    3. vtsval
    4. vtscl
    5. vtsprod
    6. circlemeth
    7. circlemethnat
    8. circlevma
    9. circlemethhgt
20. The Ternary Goldbach Conjecture: Final Statement
    1. ax-hgt749
    2. ax-ros335
    3. ax-ros336
    4. hgt750lemc
    5. hgt750lemd
    6. hgt749d
    7. logdivsqrle
    8. hgt750lem
    9. hgt750lem2
    10. hgt750lemf
    11. hgt750lemg
    12. oddprm2
    13. hgt750lemb
    14. hgt750lema
    15. hgt750leme
    16. tgoldbachgnn
    17. tgoldbachgtde
    18. tgoldbachgtda
    19. tgoldbachgtd
    20. tgoldbachgt