Towards the Formal Specification and Verification of Maple Programs

Muhammad Taimoor Khan; Wolfgang Schreiner

doi:10.1007/978-3-642-31374-5_16

Towards the Formal Specification and Verification of Maple Programs

Muhammad Taimoor Khan
, Wolfgang Schreiner

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

!Awarded with a Best Student Paper Award!

Original language	English
Title of host publication	Intelligent Computer Mathematics
Editors	Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
Place of Publication	Berlin/Heidelberg
Publisher	Springer
Pages	231-247
Number of pages	17
Volume	7362
ISBN (Print)	978-3-642-31373-8
DOIs	https://doi.org/10.1007/978-3-642-31374-5_16
Publication status	Published - Jul 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7362 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Fields of science

101001 Algebra
101002 Analysis
101 Mathematics
102 Computer Sciences
102011 Formal languages
101009 Geometry
101013 Mathematical logic
101020 Technical mathematics
101025 Number theory
101012 Combinatorics
101005 Computer algebra
101006 Differential geometry
101003 Applied geometry
102025 Distributed systems

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1007/978-3-642-31374-5_16

Cite this

Khan, M. T., & Schreiner, W. (2012). Towards the Formal Specification and Verification of Maple Programs. In Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (Ed.), Intelligent Computer Mathematics (Vol. 7362, pp. 231-247). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7362 LNAI). Springer. https://doi.org/10.1007/978-3-642-31374-5_16

Khan, Muhammad Taimoor ; Schreiner, Wolfgang. / Towards the Formal Specification and Verification of Maple Programs. Intelligent Computer Mathematics. editor / Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge. Vol. 7362 Berlin/Heidelberg : Springer, 2012. pp. 231-247 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f2e2d6d220824d51b5b9e5b6e0655b00,

title = "Towards the Formal Specification and Verification of Maple Programs",

abstract = "!Awarded with a Best Student Paper Award!",

author = "Khan, \{Muhammad Taimoor\} and Wolfgang Schreiner",

year = "2012",

month = jul,

doi = "10.1007/978-3-642-31374-5\_16",

language = "English",

isbn = "978-3-642-31373-8",

volume = "7362",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "231--247",

editor = "\{Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge\}",

booktitle = "Intelligent Computer Mathematics",

}

Khan, MT & Schreiner, W 2012, Towards the Formal Specification and Verification of Maple Programs. in Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Intelligent Computer Mathematics. vol. 7362, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7362 LNAI, Springer, Berlin/Heidelberg, pp. 231-247. https://doi.org/10.1007/978-3-642-31374-5_16

Towards the Formal Specification and Verification of Maple Programs. / Khan, Muhammad Taimoor; Schreiner, Wolfgang.
Intelligent Computer Mathematics. ed. / Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge. Vol. 7362 Berlin/Heidelberg: Springer, 2012. p. 231-247 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7362 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Towards the Formal Specification and Verification of Maple Programs

AU - Khan, Muhammad Taimoor

AU - Schreiner, Wolfgang

PY - 2012/7

Y1 - 2012/7

N2 - !Awarded with a Best Student Paper Award!

AB - !Awarded with a Best Student Paper Award!

UR - https://www.scopus.com/pages/publications/84864946807

U2 - 10.1007/978-3-642-31374-5_16

DO - 10.1007/978-3-642-31374-5_16

M3 - Conference proceedings

SN - 978-3-642-31373-8

VL - 7362

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 231

EP - 247

BT - Intelligent Computer Mathematics

A2 - Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge, null

PB - Springer

CY - Berlin/Heidelberg

ER -

Khan MT, Schreiner W. Towards the Formal Specification and Verification of Maple Programs. In Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge, editor, Intelligent Computer Mathematics. Vol. 7362. Berlin/Heidelberg: Springer. 2012. p. 231-247. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-31374-5_16

Towards the Formal Specification and Verification of Maple Programs

Abstract

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this