Conference on Mathematical Knowledge Management

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:conference
gptkbp:abbreviation gptkb:MKM
gptkbp:conference Conference on Intelligent Computer Mathematics
gptkbp:field gptkb:mathematics
computer science
mathematical knowledge management
gptkbp:firstHeld 2001
gptkbp:focus statistical analysis
formalization of mathematics
mathematical knowledge representation
digital mathematics libraries
mathematical databases
mathematical knowledge retrieval
gptkbp:frequency annual
https://www.w3.org/2000/01/rdf-schema#label Conference on Mathematical Knowledge Management
gptkbp:location various international locations
gptkbp:website https://cicm-conference.org/MKM/
gptkbp:bfsParent gptkb:Mathematical_Knowledge_Management_community
gptkbp:bfsLayer 7