|
|
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
|
|
4
|
Information retrieval and rendering with MML Query
– Grzegorz Bancerek
- 2006
|
|
3
|
Semantic Selection of Premisses for Automated Theorem Proving
– Petr Pudlák
|
|
2
|
Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange
– Josef Urban
|
|
|
Coordination of Mathematical Agents
– Jürgen Zimmer
- 2001
|
|
|
Hilbert and Set Theory
– Burton Dreben , Akihiro Kanamori
- 1997
|
|
2
|
Hilbert’s Program Then and Now
– Richard Zach
- 2005
|
|
1
|
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
– Robert I. Soare
- 2009
|
|
25
|
Computability and recursion
– Robert I. Soare
- 1996
|
|
|
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
|
|
8
|
Analysis of Mixed Natural and Symbolic Language Input in Mathematical Dialogs
– Magdalena Wolska, Ivana Kruijff-Korbayova
- 2004
|
|
|
1.3 Latest Developments of MIaS — R ˙uˇzička............. 6
– unknown authors
|
|
7
|
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles
– Grzegorz Bancerek, Josef Urban
- 2004
|
|
|
Combining Mizar and TPTP Semantic Presentation and Verification Tools
– Josef Urban, Geoff Sutcliffe, Steven Trac, Yury Puzis
|
|
3
|
Escape to ATP for Mizar
– Piotr Rudnicki, Josef Urban
|
|
|
Peter Höfner
– Annabelle Mciver, Georg Struth (eds
- 2011
|
|
|
MaSh: Machine Learning for Sledgehammer
– Daniel Kühlwein, Jasmin Christian Blanchette, Cezary Kaliszyk, Josef Urban
|
