Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0

Alexander Maletzky

doi:10.1007/978-3-319-42432-3_8

Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0

Alexander Maletzky

Research Institute for Symbolic Computation

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

Abstract

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42432-3_8

Original language	English
Title of host publication	Mathematical Software - 5th International Conference, ICMS 2016, Proceedings
Editors	Gert-Martin Greuel, Andrew Sommese, Thorsten Koch, Peter Paule
Publisher	Springer Verlag
Pages	59-66
Number of pages	8
Volume	9725
ISBN (Print)	978-3-319-42432-3
DOIs	https://doi.org/10.1007/978-3-319-42432-3_8
Publication status	Published - 2016

Publication series

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

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1007/978-3-319-42432-3_8

Cite this

Maletzky, A. (2016). Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0. In G.-M. Greuel, A. Sommese, T. Koch, & P. Paule (Eds.), Mathematical Software - 5th International Conference, ICMS 2016, Proceedings (Vol. 9725, pp. 59-66). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9725). Springer Verlag. https://doi.org/10.1007/978-3-319-42432-3_8

Maletzky, Alexander. / Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0. Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. editor / Gert-Martin Greuel ; Andrew Sommese ; Thorsten Koch ; Peter Paule. Vol. 9725 Springer Verlag, 2016. pp. 59-66 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4affede0dc9b4e26b6818f5cc173b440,

title = "Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0",

abstract = "The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42432-3\_8",

author = "Alexander Maletzky",

year = "2016",

doi = "10.1007/978-3-319-42432-3\_8",

language = "English",

isbn = "978-3-319-42432-3",

volume = "9725",

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

publisher = "Springer Verlag",

pages = "59--66",

editor = "Gert-Martin Greuel and Andrew Sommese and Thorsten Koch and Peter Paule",

booktitle = "Mathematical Software - 5th International Conference, ICMS 2016, Proceedings",

}

Maletzky, A 2016, Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0. in G-M Greuel, A Sommese, T Koch & P Paule (eds), Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. vol. 9725, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9725, Springer Verlag, pp. 59-66. https://doi.org/10.1007/978-3-319-42432-3_8

Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0. / Maletzky, Alexander.
Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. ed. / Gert-Martin Greuel; Andrew Sommese; Thorsten Koch; Peter Paule. Vol. 9725 Springer Verlag, 2016. p. 59-66 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9725).

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

TY - GEN

T1 - Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0

AU - Maletzky, Alexander

PY - 2016

Y1 - 2016

N2 - The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42432-3_8

AB - The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42432-3_8

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

U2 - 10.1007/978-3-319-42432-3_8

DO - 10.1007/978-3-319-42432-3_8

M3 - Conference proceedings

SN - 978-3-319-42432-3

VL - 9725

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

SP - 59

EP - 66

BT - Mathematical Software - 5th International Conference, ICMS 2016, Proceedings

A2 - Greuel, Gert-Martin

A2 - Sommese, Andrew

A2 - Koch, Thorsten

A2 - Paule, Peter

PB - Springer Verlag

ER -

Maletzky A. Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0. In Greuel GM, Sommese A, Koch T, Paule P, editors, Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Vol. 9725. Springer Verlag. 2016. p. 59-66. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-42432-3_8

Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0

Abstract

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this