mArachna – Ontology Engineering for Mathematical Natural Language Texts

by Sabina Jeschke , Nicole Natho , Sebastian Rittau , Marc Wilke , Technische Universität

Active Bibliography

Managing mathematical texts with OWL and their graphical representation – Sabina Jeschke, Marc Wilke
Natural Language Processing of Mathematical Texts in mArachna – Marie Blanke, Sabina Jeschke, Nicole Natho, Ruedi Seiler, Marc Wilke
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
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
Information Society Technologies – Ist Programme Project, A. Asperti, M. Kohlhase, C. Sacerdoti Coen
2 Lexical-semantic interpretation of language input in mathematical dialogs – Magdalena Wolska, Ivana Kruijff-korbayová, Helmut Horacek, Fachrichtung Computerlinguistik Fachrichtung Informatik - 2004
1.3 Latest Developments of MIaS — R ˙uˇzička............. 6 – unknown authors
9 Analysis of Mixed Natural and Symbolic Language Input in Mathematical Dialogs – Magdalena Wolska, Ivana Kruijff-Korbayova - 2004
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory ⋆ – Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger