@inproceedings{78a4142efb5c4bb5ba5ec41e54c6c869,
title = "OpenGeo: An open geometric knowledge base",
abstract = "OpenGeo is an enhanced version of the geometric knowledge base developed by Chen, Huang, and Wang, which is equipped with web-based interfaces and new management facilities and made open and online. The kernel of the knowledge base consists of typical geometric knowledge objects such as definitions, theorems, and proofs. Several tools have been developed to support users to manage the knowledge objects contained in OpenGeo. Users can create new knowledge objects and add them to OpenGeo.",
keywords = "Data management, geometry software, knowledge object, open database",
author = "Dongming Wang and Xiaoyu Chen and Wenya An and Lei Jiang and Dan Song",
year = "2014",
doi = "10.1007/978-3-662-44199-2\_38",
language = "英语",
isbn = "9783662441985",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "240--245",
booktitle = "Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings",
address = "德国",
note = "4th International Congress on Mathematical Software, ICMS 2014 ; Conference date: 05-08-2014 Through 09-08-2014",
}