M.T. Khan and W. Schreiner. On Formal Specification 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. 443-447. July 2012. Springer-Verlag, Berlin/Heidelberg, ISBN 978-3-642-31373-8.
cicm2012a.pdf
—
PDF document,
118 KB (121311 bytes)