Zobrazeno 1 - 10
of 1 006
pro vyhledávání: '"mathematical knowledge management"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030676575
Machine Learning and Knowledge Discovery in Databases
Machine Learning and Knowledge Discovery in Databases
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4697c97a9f4717f0116a23a8b3aa1a5
https://doi.org/10.1007/978-3-030-67658-2
https://doi.org/10.1007/978-3-030-67658-2
Publikováno v:
Proceedings of the International Conference on Computing and Communication Systems ISBN: 9789813340831
Mathematical information retrieval is a comparatively early stage of research, lying at the interaction of a text-based retrieval approach and mathematical knowledge management. There are a wide variety of approaches have been developed to cope-up wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91c735509a2cba4e54fe1f1726e5f5eb
https://doi.org/10.1007/978-981-33-4084-8_3
https://doi.org/10.1007/978-981-33-4084-8_3
Autor:
Bruno Buchberger
In this note, I develop my personal view on the scope and relevance of symbolic computation in software science. For this, I discuss the interaction and differences between symbolic computation, software science, automatic programming, mathematical k
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d2998badc2c093dab5e723f3d82e734
Autor:
Peter Sullivan
Publikováno v:
The Journal of Mathematical Behavior. 51:161-166
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::316048c30133f6ddcc65ef7f228c061e
https://doi.org/10.1016/j.jmathb.2017.08.006
https://doi.org/10.1016/j.jmathb.2017.08.006
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319206141
CICM
CICM
We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and recurring techniques.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d7c5238c2220fa431b8060d975406fc
https://doi.org/10.1007/s11786-016-0274-0
https://doi.org/10.1007/s11786-016-0274-0
Autor:
Pedro Quaresma
Publikováno v:
Mathematics in Computer Science. 11:427-437
The pursuit of an Intelligent and Dynamic Geometry Book should involve the study of how currently developing methodologies and technologies of geometry knowledge representation, management, deduction and discovery can be incorporated effectively into
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::04c16b39982b0935787c300df31ceae8
https://doi.org/10.1007/s11786-017-0302-8
https://doi.org/10.1007/s11786-017-0302-8
Publikováno v:
SCIENTIA SINICA Informationis. 47:171-192
The Internet is responsible for the explosive growth of information and its accelerated and diversified dissemination. Human society has entered an unprecedented era of fragmented knowledge. Fragmented knowledge on the Internet is the product of dive
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d03760752c14e2a4827411e614cad5d0
https://doi.org/10.1360/n112016-00120
https://doi.org/10.1360/n112016-00120
Autor:
Martinez, Jorge
Publikováno v:
Computer Science Review
Computer Science Review, Elsevier, 2015, 18, pp.1-9. ⟨10.1016/j.cosrev.2015.09.001⟩
Computer Science Review, Elsevier, 2015, 18, pp.1-9. ⟨10.1016/j.cosrev.2015.09.001⟩
International audience; A fundamental challenge in the intersection of Artificial Intelligence and Databases consists of developing methods to automatically manage Knowledge Bases which can serve as a knowledge source for computer systems trying to r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e4c69d3e53e8c7aeb197a28f06e056cc