Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today
Dmitry E. ChebukovAlexander D. IzaakOlga G. MisyurinaYuri A. PupyrevAlexey B. ZhizhchenkoPublished in: CoRR (2013)
Keyphrases
- digital archives
- mathematical knowledge
- computer software
- theorem prover
- cultural heritage
- digital libraries
- metadata
- content extraction
- theorem proving
- morphological analysis
- e government
- st century
- machine learning
- computer programs
- computer assisted
- control group
- grade students
- knowledge management
- case study
- multimedia
- metadata schema
- decision making