What are the important problems in computational mathematics? I believe that we need to merge proof technology with computational mathematics. We need to build a platform of proofs, possibly starting with things like Axiom Categories.
For instance, can we prove that an Axiom Ring fulfills the ring axioms? We could probably build an annotated bibliography of research papers and websites. I will start one and host it on the Axiom website. Tim Daly _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer
