Re: [Axiom-developer] Computational Mathematics, proofs, and correctness

[daly]

Waldek,

Thanks for the references.
Oddly, many of them are from my graduate course :-)

Tim

_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer