On the design and implementation of a geometric knowledge base

From MaRDI portal
Publication:3003226

DOI10.1007/978-3-642-21046-4_2zbMATH Open1302.68252OpenAlexW2111282038MaRDI QIDQ3003226FDOQ3003226


Authors: Ying Huang, Dongming Wang, Xiao-Yu Chen Edit this on Wikidata


Publication date: 26 May 2011

Published in: Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21046-4_2




Recommendations





Cited In (6)

Uses Software





This page was built for publication: On the design and implementation of a geometric knowledge base

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003226)