OpenGeo: An Open Geometric Knowledge Base
From MaRDI portal
Publication:2879130
DOI10.1007/978-3-662-44199-2_38zbMath1434.68665OpenAlexW83354601MaRDI QIDQ2879130
Dongming Wang, Lei Jiang, Wenya An, Dan Song, Xiao-yu Chen
Publication date: 8 September 2014
Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2_38
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Digital mathematics libraries and repositories (68V35)
Related Items
Automatic Deduction in an AI Geometry Book, Towards an intelligent and dynamic geometry book, Automated deduction and knowledge management in geometry
Uses Software