On Wednesday, October 1, 2014 8:59:22 AM UTC-7, Simon King wrote:
>
> Hi!
>
> On 2014-10-01, Francesco Biscani >
> 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
On Thu, 2 Oct 2014, Francesco Biscani wrote:
Thanks for the other pointers as well.
At Tampere we used Sage to study singularity of lcm-matrices of gcd-closed
sets. With Sage it is very easy to show divisor semilattice of such a set.
On the other direction we generated all lattices of given
Hi,
On 1 October 2014 17:59, Simon King 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
> On 2014-10-01, Francesco Biscani >
> 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 (o
> 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
> nee
Hi!
On 2014-10-01, Francesco Biscani 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 h
On 1 October 2014 10:59, Nathann Cohen wrote:
>
> Twenty-four years later, the vast majority of the world’s pure mathematicians
> do in fact use *Mathematica* in one way or another.
>>
>>
> The vast majority of world's pure mathematicians ?..
>
> Beware boy, you seem to reject on principle the i
>
> Twenty-four years later, the vast majority of the world’s pure mathematicians
> do in fact use *Mathematica* in one way or another.
>
>
The vast majority of world's pure mathematicians ?..
Beware boy, you seem to reject on principle the idea that mathematica may
not be the best math softwar
The first comment points to the QED project, recently celebrating 20+ years.
QED+20: Twenty Years of the QED Manifesto
July 18, 2014, Vienna, Austriahttp://vsl2014.at/meetings/QED-index.html
CALL FOR PARTICIPATION
QED+20: Twenty Years of the QED Manifesto is a workshop
commemorating the 20th ann
