Managing mathematical texts with OWL and their graphical representation

Cached

Download Links

by Sabina Jeschke , Marc Wilke

Active Bibliography

Natural Language Processing of Mathematical Texts in mArachna – Marie Blanke, Sabina Jeschke, Nicole Natho, Ruedi Seiler, Marc Wilke
mArachna – Ontology Engineering for Mathematical Natural Language Texts – Sabina Jeschke, Nicole Natho, Sebastian Rittau, Marc Wilke, Technische Universität
1 Intelligent Training Courses in Virtual Laboratories,” ser – Michael Jeschke, Sabina Jeschke, Olivier Pfeiffer, Rudolf Reinhard, Thomas Richter
Integration of Virtual Laboratories in Intelligent Training Courses for undergraduate mathematics classes – Sabina Jeschke, Olivier Pfeiffer, Thomas Richter
2 Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange – Josef Urban
6 Information retrieval and rendering with MML Query – Grzegorz Bancerek - 2006
6 Semantic Selection of Premisses for Automated Theorem Proving – Petr Pudlák
1 Compositionality: A Content Markup Language Design Principle.” Seminar/colloquium presentation – Andreas Strotmann, Van Engelen - 2001
Coordination of Mathematical Agents – Jürgen Zimmer - 2001
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
5 The history and concept of computability – Robert I. Soare - 1999
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
4 Hilbert’s Program Then and Now – Richard Zach - 2005
5 The metamathematics of ergodic theory – Jeremy Avigad - 2009
32 Computability and recursion – Robert I. Soare - 1996
Learning Semantic Network Patterns for Hypernymy Extraction – Tim Vor Der Brück
WNTERM: Enriching the MCR with a terminological dictionary – Eli Pociello, Antton Gurrutxaga, Eneko Agirre, Izaskun Aldezabal, German Rigau
6 A modular framework for ontology-based representation of patent information – Mark Giereth, Steffen Koch, Yiannis Kompatsiaris, Symeon Papadopoulos, Emanuele Pianta, Luciano Serafini, Leo Wanner
1 Context-Sensitive Referencing for Ontology Mapping Disambiguation – Heiko Paulheim, Michael Rebstock, Janina Fengel