> 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. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
