Hi! On 2014-10-01, Francesco Biscani <bluesca...@gmail.com> 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). Best regards, Simon -- 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.
