Publikationsdetails

Zitat:	Alexander Maletzky, "Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0" , in Gert-Martin Greuel and Peter Paule and Andrew Sommese: Mathematical Software - ICMS 2016, Serie Lecture Notes in Computer Science (LNCS), Vol. 9725, Springer-Verlag, Seite(n) 59-66, 2016, ISBN: 978-3-319-42432-3
Original Titel:	Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
Sprache des Titels:	Englisch
Original Buchtitel:	Mathematical Software - ICMS 2016
Original Kurzfassung:	The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42432-3_8
Sprache der Kurzfassung:	Englisch
Veröffentlicher:	Springer-Verlag
Serie:	Lecture Notes in Computer Science (LNCS)
Volume:	9725
Seitenreferenz:	59-66
Erscheinungsjahr:	2016
ISBN:	978-3-319-42432-3
Anzahl der Seiten:	8
DOI:	10.1007/978-3-319-42432-3_8
Reichweite:	international
Publikationstyp:	Aufsatz / Paper in Tagungsband (referiert)
Autoren:	Alexander Maletzky
Forschungseinheiten:	Institut für Symbolisches Rechnen

Wissenschaftsgebiete:	Mathematik (ÖSTAT:101) Algebra (ÖSTAT:101001) Computeralgebra (ÖSTAT:101005) Geometrie (ÖSTAT:101009) Kombinatorik (ÖSTAT:101012) Mathematische Logik (ÖSTAT:101013) Technische Mathematik (ÖSTAT:101020)

fodok.jku.at

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum