> On 2014-10-01, Francesco Biscani <blues...@gmail.com <javascript:>> > wrote: > > As a non-mathematician, I would be curious to know what (if any) "big" > > results in pure mathematics can be ascribed directly to the use of > > Mathematica or other mathematical software. I.e., results that would > have > > not happened (or would have not happened in a realistic time frame, in > case > > of computer-assisted proofs maybe?) without a specific software. > > 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. > > 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). > > Just expanding on that, there are many large, but still finite, computations in combinatorics that have to be done in order to complete proofs, either as base cases or to cover things like the exceptional finite/affine or hyperbolic Cartan/Coxeter types. Sometimes doing these computations even become a computer science problem due to hardware limitations.
I also use Sage to develop multiple examples, which are hard to do by hand due to complicated algorithms, and use that data in order to develop conjectures (sometimes the harder step) ..or at least checking to make sure I'm not bonkers. Best, Travis -- 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.
