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

Institut für Symbolisches Rechnen

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Abstract

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

Originalsprache	Englisch
Titel	Mathematical Software - 5th International Conference, ICMS 2016, Proceedings
Herausgeber*innen	Gert-Martin Greuel, Andrew Sommese, Thorsten Koch, Peter Paule
Verlag	Springer Verlag
Seiten	59-66
Seitenumfang	8
Band	9725
ISBN (Print)	978-3-319-42432-3
DOIs	https://doi.org/10.1007/978-3-319-42432-3_8
Publikationsstatus	Veröffentlicht - 2016

Publikationsreihe

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

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101009 Geometrie
101012 Kombinatorik
101013 Mathematische Logik
101020 Technische Mathematik

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Zugriff auf Dokument

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

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

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 (Hrsg.), Mathematical Software - 5th International Conference, ICMS 2016, Proceedings (Band 9725, S. 59-66). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 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. Hrsg. / Gert-Martin Greuel ; Andrew Sommese ; Thorsten Koch ; Peter Paule. Band 9725 Springer Verlag, 2016. S. 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 (Hrsg.), Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Bd. 9725, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bd. 9725, Springer Verlag, S. 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. Hrsg. / Gert-Martin Greuel; Andrew Sommese; Thorsten Koch; Peter Paule. Band 9725 Springer Verlag, 2016. S. 59-66 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9725).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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, Hrsg., Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Band 9725. Springer Verlag. 2016. S. 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