Theorema 2.0: A System for Mathematical Theory Exploration

Wolfgang Windsteiger

doi:10.1007/978-3-662-44199-2_9

Theorema 2.0: A System for Mathematical Theory Exploration

Wolfgang Windsteiger

Institut für Symbolisches Rechnen

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

Originalsprache	Englisch
Titel	Proceedings International Congress on Mathematical Software (ICMS 2014)
Herausgeber*innen	Chee Yap and Hoon Hong
Seiten	49-52
Seitenumfang	4
Band	8592
DOIs	https://doi.org/10.1007/978-3-662-44199-2_9
Publikationsstatus	Veröffentlicht - 2014

Publikationsreihe

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band	8592 LNCS
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-662-44199-2_9

Andere Dateien und Links

Dieses zitieren

Windsteiger, W. (2014). Theorema 2.0: A System for Mathematical Theory Exploration. in Chee Yap and Hoon Hong (Hrsg.), Proceedings International Congress on Mathematical Software (ICMS 2014) (Band 8592, S. 49-52). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8592 LNCS). https://doi.org/10.1007/978-3-662-44199-2_9

@inproceedings{d233747a31f546fbb2e2703dd709281b,

title = "Theorema 2.0: A System for Mathematical Theory Exploration",

author = "Wolfgang Windsteiger",

year = "2014",

doi = "10.1007/978-3-662-44199-2\_9",

language = "English",

isbn = "978-3-662-44198-5",

volume = "8592",

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

pages = "49--52",

editor = "\{Chee Yap and Hoon Hong\}",

booktitle = "Proceedings International Congress on Mathematical Software (ICMS 2014)",

}

Windsteiger, W 2014, Theorema 2.0: A System for Mathematical Theory Exploration. in Chee Yap and Hoon Hong (Hrsg.), Proceedings International Congress on Mathematical Software (ICMS 2014). Bd. 8592, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bd. 8592 LNCS, S. 49-52. https://doi.org/10.1007/978-3-662-44199-2_9

Theorema 2.0: A System for Mathematical Theory Exploration. / Windsteiger, Wolfgang.
Proceedings International Congress on Mathematical Software (ICMS 2014). Hrsg. / Chee Yap and Hoon Hong. Band 8592 2014. S. 49-52 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8592 LNCS).

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

TY - GEN

T1 - Theorema 2.0: A System for Mathematical Theory Exploration

AU - Windsteiger, Wolfgang

PY - 2014

Y1 - 2014

UR - http://www.springer.com/computer/theoretical+computer+science/book/978-3-662-44198-5

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

U2 - 10.1007/978-3-662-44199-2_9

DO - 10.1007/978-3-662-44199-2_9

M3 - Conference proceedings

SN - 978-3-662-44198-5

VL - 8592

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

SP - 49

EP - 52

BT - Proceedings International Congress on Mathematical Software (ICMS 2014)

A2 - Chee Yap and Hoon Hong, null

ER -

Windsteiger W. Theorema 2.0: A System for Mathematical Theory Exploration. in Chee Yap and Hoon Hong, Hrsg., Proceedings International Congress on Mathematical Software (ICMS 2014). Band 8592. 2014. S. 49-52. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-44199-2_9