A survey on retrieval of mathematical knowledge
F Guidi, C Sacerdoti Coen - Mathematics in Computer Science, 2016 - Springer
A Survey on Retrieval of Mathematical Knowledge Page 1 Math.Comput.Sci. (2016) 10:409–427
DOI 10.1007/s11786-016-0274-0 Mathematics in Computer Science A Survey on Retrieval of …
DOI 10.1007/s11786-016-0274-0 Mathematics in Computer Science A Survey on Retrieval of …
[PDF][PDF] A partial ratio and ratio based fuzzy-wuzzy procedure for characteristic mining of mathematical formulas from documents
GA Rao, G Srinivas, KV Rao… - IJSC—ICTACT J Soft …, 2018 - ictactjournals.in
Retrieval of mathematical text from data is a key predicament in present circumstances. To
achieve this, we have considered three different algorithms viz., Sequence matcher …
achieve this, we have considered three different algorithms viz., Sequence matcher …
A survey on retrieval of mathematical knowledge
F Guidi, C Sacerdoti Coen - International Conference on Intelligent …, 2015 - Springer
A Survey on Retrieval of Mathematical Knowledge | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …
Synthesis of synchronous assertions with guarded atomic actions
M Pellauer, M Lis, D Baltus… - … . Second ACM and IEEE …, 2005 - ieeexplore.ieee.org
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous
assertion package based on the temporal-logic semantics of PSL. Traditionally assertions …
assertion package based on the temporal-logic semantics of PSL. Traditionally assertions …
[图书][B] Augmenting mathematical formulae for more effective querying & efficient presentation
M Schubotz - 2017 - search.proquest.com
Abstract Mathematical Information Retrieval (MIR) is a research area that focuses on the
Information Need (IN) of the Science, Technology, Engineering and Mathematics (STEM) …
Information Need (IN) of the Science, Technology, Engineering and Mathematics (STEM) …
An approach to math-similarity search
Q Zhang, A Youssef - International Conference on Intelligent Computer …, 2014 - Springer
The unique structural syntax and the variety of semantic equivalences of mathematic
expressions make it a challenge for a keyword-based text search engine to effectively meet …
expressions make it a challenge for a keyword-based text search engine to effectively meet …
Regional forestry economic evaluation based on neural network and fuzzy model
X Ma, X Chen, Y Geng - Journal of Intelligent & Fuzzy Systems, 2021 - content.iospress.com
In the process of people's development, many resources in natural resources provide
convenience and help for people's survival and development, and forest is an important part …
convenience and help for people's survival and development, and forest is an important part …
An indexing method of mathematical expression retrieval
X Tian, S Yang, X Li, F Yang - Proceedings of 2013 3rd …, 2013 - ieeexplore.ieee.org
As the kernel component of scientific documents, mathematical expressions are becoming a
new object of searching engines. Different from normal text, mathematical expressions are …
new object of searching engines. Different from normal text, mathematical expressions are …
An experimental study with tensor flow for characteristic mining of mathematical formulae from a document
KNB Rao, G Srinivas, PP Reddy - EAI Endorsed Transactions on …, 2019 - publications.eai.eu
Through this article a deep learning technique is proposed for the extraction and
classification of mathematical keywords from textual documents. Extraction of math …
classification of mathematical keywords from textual documents. Extraction of math …
Feature extraction and clustering-based retrieval for mathematical formulas
Mathematical formulas or expressions are essential for presenting scientific knowledge in
many research documents in academic areas such as physics and mathematics. Searching …
many research documents in academic areas such as physics and mathematics. Searching …