Your Article on Robust Computer Algebra and Theorem Proving
Tim Daly <[email protected]> Thu, 19 Apr 2018 07:13:42 -0400
| Newsgroups | gmane.comp.mathematics.axiom.devel |
|---|---|
| Message-ID | <CAJn5L=KhHrT65qAxHsj=7S+9_626vceoq4FcHfLQ1d3LG8_-2g@mail.gmail.com> |
I just finished reading your article "Robust Computer Algebra, Theorem Proving, and Oracle AI". https://arxiv.org/pdf/1708.02553.pdf This touches on a subject I've been working on for years. I'm in the Computer Science Department at Carnegie Mellon. Unlike other Computer Algebra systems, Axiom is strongly typed and built on a group-theory scaffold, making it much more amenable to proving Axiom correct. I have a survey article in preparation that covers the interaction between computer algebra and proof systems over the last 50 years. Tim Daly [email protected] _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer