Much has been said about writting good papers in mathematics. A short google query yields countless sources of advice. This skill also appears to be quite transferrable between basic branches of mathematics: a well-written paper in analysis follows the same basic principles as a well-written paper in algebra, etc.

Recently, I found my first (hopefully) publishable result that uses the help of a computer, and - to my embarassment - realised that I have very little idea what a well-written computer-assisted paper looks like. Surprisingly, I also had no success finding general writting advice on this subject.

It would probably be too broad to just ask "How to write computer-assisted mathematics well?", although to be honest that's the question to which I'm trying to find an answer. Let me try to be (marginally) more specific.

Are there any style manuals that specifically address the question of writting computer-assisted mathematics? Barring that, what are some well-known and well-written papers that one can try and emulate?

In my particular case, I have around 20 pages explaining how to reduce a certain problem in number theory / combinatorics to a finite computation and around 100 lines of Mathematica code that perform the computatio. Is it fair game to simply say, once the explanation is completed, "I took the argument above and I coded it up, and the computer produced 42 as output, so that's the solution"? If not, what are reasonable steps to take in order to ensure my findings are verifiable?

What steps, if any, should I take to make the code I used to perform computations accessible? In principle, the reader could recreate it themselves, the same way as they can retrace any technical computation that is routinely omitted, but that hardly seems polite.

1more comment