Re: tasks overview wishlist: Canonical citing reference
> There might be things where software can actually be used as academical
> contribution to some paper, but all examples I've yet seen were just
> ridicilously broad.
FWIW, it's not uncommon in my field (discrete mathematics). In particular,
there are proofs that rely on very large but finite case bashes, and these
are often done with the help of a computer (in particular, mathematical
software). In this sense, the software contributes directly to the proof
of a theorem.
b.
Reply to: