Skip to main content

Timeline for Computer calculations in a paper

Current License: CC BY-SA 3.0

12 events
when toggle format what by license comment
Jan 8 at 21:59 history made wiki Post Made Community Wiki by Ben Webster
Mar 10, 2019 at 3:40 review Close votes
Mar 10, 2019 at 13:31
Jul 29, 2015 at 11:19 vote accept Daniel Soltész
Jul 26, 2015 at 14:41 comment added Daniel Soltész @BenoîtKloeckner I am more interested in your second variant. Now I got so many valuable responses, I'll have a hard time choosing the one to accept.
Jul 26, 2015 at 13:39 comment added Suvrit In addition to putting stuff in the paper, a practical alternative is to make mathematica (or other relevant software) notebooks available online, in addition to any amount of additional written supplementary material. This material serves the purpose of making the work "more verifiable" --- and saves on valuable space in the paper, which I think should be used to include the "highlights" of even the computational part.
Jul 26, 2015 at 7:57 comment added Benoît Kloeckner I think your question is ambiguous. When you write "what kind of computer calculations can be included in a paper?", you may mean two different things: either you ask which computer assisted proofs can be considered as proofs, and make it into a published article; or you may ask what to write down explicitly in a paper reporting on such a proof. You may also want to ask both, but in any case you should make that clear.
Jul 26, 2015 at 5:13 answer added Gerhard Paseman timeline score: 8
Jul 26, 2015 at 1:29 history edited Daniel Soltész CC BY-SA 3.0
added 30 characters in body
Jul 26, 2015 at 1:08 answer added Brendan McKay timeline score: 10
Jul 25, 2015 at 20:49 answer added Steve Huntsman timeline score: 12
Jul 25, 2015 at 17:36 answer added Joseph O'Rourke timeline score: 20
Jul 25, 2015 at 17:08 history asked Daniel Soltész CC BY-SA 3.0