Hi, On 1 October 2014 17:59, Simon King <simon.k...@uni-jena.de> wrote: > > There are famous results obtained by computer-assisted proofs, such as > Four Colour Theorem; but I don't know if a specific software was needed. >
Yes I had read about it, that was one of the things I had in mind :) > And there are of course explicit computations, in my case computations > of modular cohomology rings of finite groups. Here, new methods were > needed, and I found Sage a very good environment to implement these > methods. It would have been near to impossible in Magma (unless I was a > core developer). > This sounds similar to my experience in fields like dynamical astronomy and theoretical physics. Lots of people using computer algebra to do explicit computations, usually in Mathematica, Maple or some custom package. Thanks for the other pointers as well. Cheers, Francesco. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
