Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management.
Dongming WangPublished in: Automated Deduction in Geometry (2012)
Keyphrases
- knowledge management
- geometry theorem proving
- theorem proving
- case study
- knowledge engineering
- web based learning
- knowledge sharing
- information systems
- decision making
- software engineering
- neural network
- organizational learning
- real time
- first order logic
- semantic web
- software development
- natural language processing
- case based reasoning
- information technology
- tacit knowledge