OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management.
Alexander M. ElizarovAlexander KirillovichEvgeny K. LipachevOlga NevzorovaPublished in: CoRR (2017)
Keyphrases
- mathematical knowledge
- data management
- decision support
- theorem prover
- data mining
- computer software
- domain ontology
- knowledge management
- semantic web
- business intelligence
- learning analytics
- data analysis
- knowledge base
- information management
- big data
- intelligent agents
- data warehouse
- knowledge representation
- theorem proving
- semantic web technologies
- decision making