Login / Signup
Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today.
Dmitry E. Chebukov
Alexander D. Izaak
Olga G. Misyurina
Yuri A. Pupyrev
Alexey B. Zhizhchenko
Published in:
MKM/Calculemus/DML (2013)
Keyphrases
</>
digital archives
mathematical knowledge
computer software
theorem prover
cultural heritage
digital libraries
theorem proving
e government
content extraction
metadata
morphological analysis
metadata schema
st century
first order logic
databases
multi agent systems
metadata schemas
artificial intelligence