M.T. Khan and W. Schreiner. Towards the Formal Specification and Verification of Maple Programs.
Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp. 231-247. July 2012. Springer-Verlag, Berlin/Heidelberg, ISBN 978-3-642-31373-8.
cicm2012b.pdf
—
PDF document,
286 KB (293395 bytes)