Filters








9,268 Hits in 3.5 sec

The Semantic Context Models of Mathematical Formulas in Scientific Papers

Olga Nevzorova, Alexander Kirillovich, Vladimir Nevzorov, Konstantin Nikolaev
2018 International Conference on Data Analytics and Management in Data Intensive Domains  
This paper describes the results of semantic annotating and semantic search in a mathematical collection.  ...  We explored semantic models of contexts of a mathematical formula and applied the new knowledge to improving semantic search.  ...  This work was funded by the subsidy allocated to Kazan Federal University for the state assignment in the sphere of scientific activities, grant agreement no. 1.2368.2017, and Russian Foundation for Basic  ... 
dblp:conf/rcdl/NevzorovaKNN18 fatcat:5f66j5oaonbrjbugaxnyb5bsqm

OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management [article]

Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev, Olga Nevzorova
2017 arXiv   pre-print
These solutions form the basis of a specialized digital ecosystem OntoMath which consists of the ontology of the logical structure of mathematical documents Mocassin and ontology of mathematical knowledge  ...  The studies are in according to the ideas of creating a distributed system of interconnected repositories of digitized versions of mathematical documents and project to create a World Digital Mathematical  ...  Acknowledgement This work was funded by the subsidy allocated to Kazan Federal University for the state assignment in the sphere of scientific activities, grant agreement no. 1.2368.2017).  ... 
arXiv:1702.05112v1 fatcat:n5slmlsgsjcbnaf42xbnw2j74q

Exploiting semantic annotations in math information retrieval

Petr Sojka
2012 Proceedings of the fifth workshop on Exploiting semantic annotations in information retrieval - ESAIR '12  
We argue for an approach based on combining Presentation and Content MathML using: a similarity of math subformulae, semantic annotations by Mathematical Subject Classification code expansions, statistical  ...  The design and architecture of MIaS (Math Indexer and Searcher), a system for mathematics retrieval is presented, and design decisions are discussed.  ...  Our work has been partially supported by the European Union through its Competitiveness and Innovation Programme (Policy Support Programme, "Open access to scientific information", Grant Agreement No.  ... 
doi:10.1145/2390148.2390157 dblp:conf/cikm/Sojka12 fatcat:ijtjrupujbdnleiq3ipp7moxd4

Bringing Math to LOD: A Semantic Publishing Platform Prototype for Scientific Collections in Mathematics [chapter]

Olga Nevzorova, Nikita Zhiltsov, Danila Zaikin, Olga Zhibrik, Alexander Kirillovich, Vladimir Nevzorov, Evgeniy Birialtsev
2013 Lecture Notes in Computer Science  
We present our work on developing a software platform for mining mathematical scholarly papers to obtain a Linked Data representation.  ...  We argue that the platform may be helpful for enriching user experience on modern online scientific collections.  ...  However, exposing only article metadata for mathematical papers is palliative, since the primary objects of interest in these documents are formulas and certain parts such as theorems or proofs.  ... 
doi:10.1007/978-3-642-41335-3_24 fatcat:zmk25z2xhzejnldlsrsauxcivy

Thesaurus and Ontology Building for Semantic Library Based on Mathematical Encyclopedia

Olga Ataeva, Vladimir A. Serebryakov, Ekaterina Sinelnikova
2019 International Conference on Data Analytics and Management in Data Intensive Domains  
The paper focuses on the task of constructing the ontology of a thesaurus and its filling for the mathematics-related sources.  ...  The results were incorporated into the semantic e-library and used as a thesaurus for its subject domain.  ...  Acknowledgements The study was supported by Russian Foundation for Basic Research, project 17-07-00214, 18-00-00-297.  ... 
dblp:conf/rcdl/AtaevaSS19 fatcat:pvstxwsfyvaubeetjjhbfefpae

Contextual Analysis of Mathematical Expressions for Advanced Mathematical Search

Keisuke Yokoi, Minh-Quoc Nghiem, Yuichiroh Matsubayashi, Akiko Aizawa
2011 POLIBITS Research Journal on Computer Science and Computer Engineering With Applications  
We found a way to use mathematical search to provide better navigation for reading papers on computers.  ...  We first define an extraction task and constructed a reference dataset of 100 Japanese scientific papers by hand.  ...  To summarize, existing mathematical search studies mainly worked on "syntactic" information of mathematical formulas to identify mathematical concepts useful for indexing.  ... 
doi:10.17562/pb-43-11 fatcat:yrufxeiajzb4xfvdbmd2ruun4m

Digital Mathematical Libraries: Overview of Implementations and Content Management Services

Alexander M. Elizarov, Evgeny K. Lipachev, Denis Zuev
2017 International Conference on Data Analytics and Management in Data Intensive Domains  
The paper gives a review of existing projects of implementation of digital mathematical libraries.  ...  mathematical content on the basis of semantic technologies.  ...  Service also provide fulltext formula search for indexed arXiv documents [35] .The zbMATH formula search uses the MathWebSearchsystem, which is a content-based search engine for MathML formula based on  ... 
dblp:conf/rcdl/ElizarovLZ17 fatcat:7ftcf7hisjcbna327j6p746hou

The MCAT Math Retrieval System for NTCIR-10 Math Track

Goran Topic, Giovanni Yoko Kristianto, Minh-Quoc Nghiem, Akiko Aizawa
2013 NTCIR Conference on Evaluation of Information Access Technologies  
We introduce our mathematical search system that is capable of formula search, and full-text search.  ...  NTCIR Math Track targets mathematical content access based on both natural language text and mathematical formulae.  ...  For the math retrieval subtask, we built a mathematical search system that is capable of formula search, and full-text search.  ... 
dblp:conf/ntcir/TopicKNA13 fatcat:yok7tkd4dzaz3m2fqvtoqzjf6i

Mathematical Information Retrieval [chapter]

Akiko Aizawa, Michael Kohlhase
2020 Evaluating Information Retrieval and Access Tasks  
These tasks are primarily dedicated to techniques for searching mathematical content with formula expressions.  ...  We also describe the features and main challenges of mathematical information retrieval systems and discuss future perspectives in the field. A. Aizawa (B)  ...  Finally, we thank the students who evaluated the search hit pools at Jacobs University (arXiv) and Rochester Institute of Technology (Wikipedia).  ... 
doi:10.1007/978-981-15-5554-1_12 fatcat:ickshld4ubevndeacqvvdfukda

Towards Facilitating Scientific Publishing and Knowledge Exchange Through Linked Data [chapter]

Sören Auer, Christoph Lange, Timofey Ermilov
2014 Communications in Computer and Information Science  
In this position paper, we describe our vision of an architecture of participation for semantic linking and contextualizing of research articles.  ...  For mathematics and all sciences involving mathematical formulas, see, for example, [1] .  ...  As a result, scientific knowledge sharing would be improved substantially, since researchers and other stakeholders would be enabled to search and discover research results not only by using keyword search  ... 
doi:10.1007/978-3-319-14226-5_2 fatcat:ojks5r33qjebjp6fq422jkze2e

Towards Facilitating Scientific Publishing and Knowledge Exchange Through Linked Data [chapter]

Sören Auer, Christoph Lange, Timofey Ermilov
2014 Communications in Computer and Information Science  
In this position paper, we describe our vision of an architecture of participation for semantic linking and contextualizing of research articles.  ...  For mathematics and all sciences involving mathematical formulas, see, for example, [1] .  ...  As a result, scientific knowledge sharing would be improved substantially, since researchers and other stakeholders would be enabled to search and discover research results not only by using keyword search  ... 
doi:10.1007/978-3-319-08425-1_2 fatcat:iwkrt42vfvgzlky545ej25bcmu

Lobachevskii DML: Towards a Semantic Digital Mathematical Library of Kazan University

Alexander M. Elizarov, Evgeny K. Lipachev
2017 International Conference on Data Analytics and Management in Data Intensive Domains  
In this paper, the results of the implementation of the digital mathematical library Lobachevsky-DML are presented.  ...  We also present a system of services to support the life cycle of a mathematical document and highlight technologies for supporting new forms of scientific publications and providing integration services  ...  processing formulas, searching for similar results, and so on.  ... 
dblp:conf/rcdl/ElizarovL17 fatcat:g32a7g75krbobke2tubkztc62q

The Planetary System: Web 3.0 & Active Documents for STEM

Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
2011 Procedia Computer Science  
In this paper we present the Active Documents Paradigm (semantically annotated documents associated with a content commons that holds the corresponding background ontologies) and the Planetary system (  ...  We show that the current Planetary system gives a solid foundation and can be extended modularly to address most of the criteria of the Executable Papers Challenge.  ...  made available as an OpenMath-based Web service [12] ) for evaluation, graphing, or experimentation. v) Unit Conversion: In scientific papers, formulae often contain expressions for measurable quantities  ... 
doi:10.1016/j.procs.2011.04.063 fatcat:6qzf2r5evbbvfbbwfc4ivrmqw4

Flyspeck in a Semantic Wiki

Christoph Lange, Sean McLaughlin, Florian Rabe
2008 Semantic Wiki Workshop  
They are particularly appropriate for scientific and mathematical collaboration.  ...  In previous work we described an ontology for mathematical knowledge based on the semantic markup language OMDoc and a semantic wiki using both.  ...  Acknowledgments We would like to thank Stefan Decker, Michael Kohlhase, and Immanuel Normann for their feedback particularly during the case studies.  ... 
dblp:conf/semwiki/0002MR08 fatcat:tomq7g6lzvd7thwa2syrtv3a2a

Analyzing Formula Concepts and Patterns to Improve Literature Exploration and Recommendation for STEM Documents

Philipp Scharpf
2019 Bulletin of IEEE Technical Committee on Digital Libraries  
In my dissertation, I will explore the following hypothesis: Considering mathematical formulae using the open knowledgebase Wikidata improves content-based literature exploration and recommendation for  ...  ACKNOWLEDGMENTS The author would like to thank Bela Gipp and Moritz Schubotz for their support.  ...  There has been a lot of research on Recommender Systems for scientific papers. B. Gipp, J.  ... 
dblp:journals/tcdl/Scharpf19 fatcat:5tdrfor44nftdn4a2n32jhebtu
« Previous Showing results 1 — 15 out of 9,268 results