Managing knowledge takes up a significant role in modern organization and society. Every day, numerous books and publications are released to disseminate new knowledge. In particular, the World Wide Web is an example of a huge unsystematic knowledge base that provides access to a lot of information. Too much information leads to the proliferation of knowledge called “information glut,” which is not easy to handle. Applications to specialize and generalize information gain in importance in the search for solutions to face the new challenges.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hilbert D (1928) Die grundlagen der mathematik. Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität 6:65–85
Bourbaki N (1974) Die Architektur der Mathematik. Mathematiker über die Mathematik. Springer, Berlin
Gödel K (1931–1932) Über formal unentscheidbare Sätze der Principia Mathematica und verwandte Systeme I. Monatsheft f. Mathematik und Physik 147f
The Apache Software Foundation: Apache Lucene. http://lucene.apache.org/
Jeschke S (2004) Mathematik in Virtuellen Wissensräumen—IuK-Strukturen und IT-Technologien in Lehre und Forschung. PhD thesis, Technische Universität Berlin
Natho N (2005) mArachna: Eine Semantische Analyse der Mathematischen Sprache für ein Computergestütztes Information Retrieval. PhD thesis, Technische Universität Berlin
Grottke S, Jeschke S, Natho N, Seiler R (2005) mArachna: A classification scheme for semantic retrieval in elearning environments in mathematics. In: Proc. of the 3rd International Conference on Multimedia and ICTs in Education, June 7–10, 2005, Caceres/Spain
W3C: Web Ontology Language. http://www.w3c.org/2004/OWL
The TEI Consortium: Text Encoding Initiative. http://www.tei-c.org
W3C: MathML. http://www.w3.org/Math
Müller S TRALE. http://www.cl.uni-bremen.de/Software/Trale/index.html
Müller S (2005) Deutsche syntax deklarativ: Head-driven phrase structure grammar für das Deutsche. In: Linguistische Arbeiten 394. Max Niemeyer Verlag, Tübingen
Mozilla Foundation: Rhino. http://www.mozilla.org/rhino/
Jena: A Semantic Web Framework for Java. http://jena.sourceforge.net
W3C: SPARQL. http://www.w3.org/TR/rdf-sparql-query/
Wüst R (2005) Mathematik für Physiker und Mathematiker, Bd.1. Wiley-VCH
Gruber T, Olsen G (1994) An Ontology for Engineering Mathematics. Technical Report KSL-94-18, Stanford University
Baur J (1999) Syntax und Semantik Mathematischer Texte. Master’s thesis, Universität des Saarlandes, Fachbereich Computerlinguistik
Wolfram Research: MathWorld. http://mathworld.wolfram.com
Fellbaum C (1998) WordNet: An Electronic Lexical Database. MIT Press, Cambridge, London
Fellbaum C WordNet. http://wordnet.princeton.edu
GermaNet Team. GermaNet. http://www.sfs.uni-tuebingen.de/lsd/english.html
Helbig H (2006) Knowledge Representation and the Semantics of Natural Language. Springer, Berlin
Urban J (2006) MoMM—Fast interreduction and retrieval in large libraries of formalized mathematics. International Journal on Artificial Intelligence Tools 15(1):109–130
Urban J (2005) MizarMode—An integrated proof assistance tool for the mizar way of formalizing mathematics. Journal of Applied Logic doi:10.1016/j.jal.2005.10.004
Urban J (2002) XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy, MKM2005
Pinkall M, Siekmann J, Benzmüller C, Kruijff-Korbayova I. DIALOG. http://www.ags.uni-sb.de/~dialog/
Asperti A, Padovani L, Sacerdoti Coen C and Schena I (2001) HELM and the semantic web. In: Boulton RJ, Jackson PB, eds. Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3–6, 2001, Proceedings. Volume 2152 of Lecture Notes in Computer Science, Springer
Asperti A, Zacchiroli S (2004) Searching mathematics on theWeb: State of the art and future developments. In: Joint Proceedings of the ECM4 Satellite Conference on Electronic Publishing at KTH Stockholm, AMS–SM M Special Session, Houston
Albayrak S, Wollny S, Varone N, Lommatzsch A, Milosevic D (2005) Agent technology for personalized information filtering: the PIA-system. ACM Symposium on Applied Computing
Collier N, K T. May (2002) PIA-core: Semantic annotation through example-based learning. Third International Conference on Language Resources and Evaluation, pp 1611–1614
The PIA Project: PIA. http://www.pia-services.de/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Natho, N., Jeschke, S., Pfeiffer, O., Wilke, M. (2008). Natural Language Processing Methods for Extracting Information from Mathematical Texts. In: Huang, X., Chen, YS., Ao, SI. (eds) Advances in Communication Systems and Electrical Engineering. Lecture Notes in Electrical Engineering, vol 4. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-74938-9_21
Download citation
DOI: https://doi.org/10.1007/978-0-387-74938-9_21
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-74937-2
Online ISBN: 978-0-387-74938-9
eBook Packages: EngineeringEngineering (R0)