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

Research Institute for Symbolic Computation

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

Original language	English
Title of host publication	Proceedings International Congress on Mathematical Software (ICMS 2014)
Editors	Chee Yap and Hoon Hong
Pages	49-52
Number of pages	4
Volume	8592
DOIs	https://doi.org/10.1007/978-3-662-44199-2_9
Publication status	Published - 2014

Publication series

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

Cite this

Windsteiger, W. (2014). Theorema 2.0: A System for Mathematical Theory Exploration. In Chee Yap and Hoon Hong (Ed.), Proceedings International Congress on Mathematical Software (ICMS 2014) (Vol. 8592, pp. 49-52). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 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 (ed.), Proceedings International Congress on Mathematical Software (ICMS 2014). vol. 8592, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8592 LNCS, pp. 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). ed. / Chee Yap and Hoon Hong. Vol. 8592 2014. p. 49-52 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8592 LNCS).

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

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, editor, Proceedings International Congress on Mathematical Software (ICMS 2014). Vol. 8592. 2014. p. 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

Theorema 2.0: A System for Mathematical Theory Exploration

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this