You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A suggested source is Silverman's "A friendly introduction to number theory" ,which is probably in Imperial's library. We could also work on digitising Prof Gee's M3P14 example sheets. Note: even if you're only a first or second year -- M3P14 doesn't need much background, it mostly develops basic properties of the integers without using too much machinery, so probably most people can contribute.
The text was updated successfully, but these errors were encountered:
We now have gcd's of integers -- M3P14 sheet 1 is mostly formalised! We need -- sums over general sets (e.g. sums over divisors of n of ...). finset.sum does sum over a finite set -- maybe this helps for this situation?
This stuff seems to be going really well. What helps is that there is a very solid API for naturals an integers. A lofty goal here would be to prove the law of quadratic reciprocity. Several people (@gml16@ClaraList@sj2816 and others too) have started formalising questions and solutions on the example sheets -- my only worry is that we'll get different people working on the same thing.
A suggested source is Silverman's "A friendly introduction to number theory" ,which is probably in Imperial's library. We could also work on digitising Prof Gee's M3P14 example sheets. Note: even if you're only a first or second year -- M3P14 doesn't need much background, it mostly develops basic properties of the integers without using too much machinery, so probably most people can contribute.
The text was updated successfully, but these errors were encountered: