Theorema 2.0: A System for Mathematical Theory Exploration

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
Publication status	Published - 2014

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

@inproceedings{d233747a31f546fbb2e2703dd709281b,

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

author = "Wolfgang Windsteiger",

year = "2014",

language = "English",

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

volume = "8592",

series = "Lecture Notes in Computer Science (LNCS)",

pages = "49--52",

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

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

}

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

M3 - Conference proceedings

SN - 978-3-662-44198-5

VL - 8592

T3 - Lecture Notes in Computer Science (LNCS)

SP - 49

EP - 52

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

A2 - Chee Yap and Hoon Hong, null

ER -