Mathematical Knowledge Management community

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:academic
gptkbp:aimsTo develop tools for managing mathematical knowledge
gptkbp:focusesOn mathematical knowledge management
https://www.w3.org/2000/01/rdf-schema#label Mathematical Knowledge Management community
gptkbp:includes gptkb:mathematician
gptkb:researchers
computer scientists
gptkbp:mainInterest gptkb:knowledge_representation
automated reasoning
mathematical publishing
mathematical search engines
semantic web for mathematics
gptkbp:organizes gptkb:Conference_on_Mathematical_Knowledge_Management
gptkbp:relatedTo statistical analysis
formalized mathematics
digital mathematics libraries
mathematical databases
mathematical ontologies
gptkbp:bfsParent gptkb:OpenMath_Society
gptkbp:bfsLayer 6