Login / Signup
Vlastimil Krejcír
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Decision Trees
Computer Algebra
Digital Topology
Top Venues
MKM/Calculemus/DML
</>
Publications
</>
Michal Ruzicka
,
Petr Sojka
,
Vlastimil Krejcír
Towards Machine-Actionable Modules of a Digital Mathematics Library - The Example of DML-CZ.
MKM/Calculemus/DML
(2013)