[Axiom-developer] The QED Manifesto

2018-12-22 Thread Tim Daly
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

[Axiom-developer] The QED Manifesto

2016-12-30 Thread Tim Daly
This was mentioned in the video. https://www.cs.ru.nl/~freek/qed/qed.html One of Axiom primary goals seems to fit the QED third goal: The third motivation for the QED project is education. Nothing is more important than mathematics education to the creation of infrastructure for technology-based