Amen.
William
William Sit
Professor Emeritus
Department of Mathematics
The City College of The City University of New York
New York, NY 10031
homepage: wsit.ccny.cuny.edu
From: Axiom-developer
on behalf of Tim
Daly
Sent: Saturday, December 22, 2018 3:
9. Too little care for rigor. It is notoriously easy to find "bugs" in
algorithms for symbolic
computation. To make matters worse, these errors are often regarded as
of no significance
by their authors, who plead that the result returned is true "except
on a set of measure
zero", without explicitly
Computerized Mathematics
http://www.cs.ru.nl/~freek/qed/qed.html
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
https://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1006561
1) Write comments as you code
2) Include examples and lots of them
3) Include a quickstart guide
4) Include a README file with basic information
5) Include a help command for command line interfaces
6) Version control y