Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset

Christoph Lange; Patrick Ion; Anastasia Dimou; Charalampos Bratsas; Joseph Corneli; Wolfram Sperber; Michael Kohlhase; Ioannis Antoniou

doi:10.1007/978-3-642-31374-5_36

Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset

Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Original language	English
Title of host publication	Intelligent Computer Mathematics
Subtitle of host publication	11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Publisher	Springer
Pages	458-462
Volume	7362
ISBN (Print)	978-3-642-31373-8
DOIs	https://doi.org/10.1007/978-3-642-31374-5_36
Publication status	Published - 2013
Event	Conferences on Intelligent Computer Mathematics - Bremen, Germany Duration: 9 Jul 2012 → 14 Jul 2012

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7362

Conference

Conference	Conferences on Intelligent Computer Mathematics
Country/Territory	Germany
City	Bremen
Period	9/07/12 → 14/07/12

Access to Document

10.1007/978-3-642-31374-5_36

http://arxiv.org/abs/1204.5086

Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour
Kerber, M. (Principal Investigator) & Rowat, C. (Co-Investigator)
Engineering & Physical Science Research Council
1/05/12 → 30/04/15
Project: Research Councils

Cite this

Lange, C., Ion, P., Dimou, A., Bratsas, C., Corneli, J., Sperber, W., Kohlhase, M., & Antoniou, I. (2013). Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. In Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings (Vol. 7362, pp. 458-462). (Lecture Notes in Computer Science; Vol. 7362). Springer. https://doi.org/10.1007/978-3-642-31374-5_36

Lange, Christoph ; Ion, Patrick ; Dimou, Anastasia et al. / Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Vol. 7362 Springer, 2013. pp. 458-462 (Lecture Notes in Computer Science).

@inproceedings{af814fa21c0f4d2ab6a48eacdecee2d6,

title = "Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset",

author = "Christoph Lange and Patrick Ion and Anastasia Dimou and Charalampos Bratsas and Joseph Corneli and Wolfram Sperber and Michael Kohlhase and Ioannis Antoniou",

year = "2013",

doi = "10.1007/978-3-642-31374-5_36",

language = "English",

isbn = "978-3-642-31373-8",

volume = "7362",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "458--462",

booktitle = "Intelligent Computer Mathematics",

note = "Conferences on Intelligent Computer Mathematics ; Conference date: 09-07-2012 Through 14-07-2012",

}

Lange, C, Ion, P, Dimou, A, Bratsas, C, Corneli, J, Sperber, W, Kohlhase, M & Antoniou, I 2013, Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. in Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. vol. 7362, Lecture Notes in Computer Science, vol. 7362, Springer, pp. 458-462, Conferences on Intelligent Computer Mathematics, Bremen, Germany, 9/07/12. https://doi.org/10.1007/978-3-642-31374-5_36

Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. / Lange, Christoph; Ion, Patrick; Dimou, Anastasia et al.
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Vol. 7362 Springer, 2013. p. 458-462 (Lecture Notes in Computer Science; Vol. 7362).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset

AU - Lange, Christoph

AU - Ion, Patrick

AU - Dimou, Anastasia

AU - Bratsas, Charalampos

AU - Corneli, Joseph

AU - Sperber, Wolfram

AU - Kohlhase, Michael

AU - Antoniou, Ioannis

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-31374-5_36

DO - 10.1007/978-3-642-31374-5_36

M3 - Conference contribution

SN - 978-3-642-31373-8

VL - 7362

T3 - Lecture Notes in Computer Science

SP - 458

EP - 462

BT - Intelligent Computer Mathematics

PB - Springer

T2 - Conferences on Intelligent Computer Mathematics

Y2 - 9 July 2012 through 14 July 2012

ER -

Lange C, Ion P, Dimou A, Bratsas C, Corneli J, Sperber W et al. Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. In Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Vol. 7362. Springer. 2013. p. 458-462. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-31374-5_36

Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset

Publication series

Conference

Access to Document

Projects

Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour

Cite this