Timeline for Non-trivial difference(s) between Computer Algebra System and Proof Assistant
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 29, 2022 at 1:39 | comment | added | Timothy Chow | Also worth mentioning, in my opinion, is the dissertation of Muhammad Taimoor Khan, Formal Specification and Verification of Computer Algebra Software. | |
| Feb 24, 2022 at 0:02 | comment | added | mdl | This was in fact embodied by the Axiom (aka Scratchpad II) effort to create a statically typed CAS--with the very same motivations as ML as a replacement for Lisp in theorem provers--but also the Aldor extension language to Axiom and the research toward using Aldor as a logic: cs.kent.ac.uk/people/staff/sjt/Atypical | |
| Feb 9, 2022 at 18:38 | history | edited | Maximilian Doré | CC BY-SA 4.0 |
added 11 characters in body
|
| Feb 9, 2022 at 18:26 | history | answered | Maximilian Doré | CC BY-SA 4.0 |