swMATH28307MaRDI QIDQ40021FDOQ40021
Author name not available (Why is that?)
Official website: https://korpora-exp.zim.uni-duisburg-essen.de/naproche/
Source code repository: https://github.com/naproche/naproche
Cited In (20)
- Interpreting mathematical texts in Naproche-SAD
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
- Beautiful formalizations in Isabelle/Naproche
- A fully automatic theorem prover with human-style output
- Type reconstruction for \(\lambda\)-DRT applied to pronoun resolution
- Part-of-math tagging and applications
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
- Premise selection in the Naproche system
- GF
- ForTheL
- SAD
- Tweety
- FraCaS
- Regular_Algebras
- INFTY
- Naproche-SAD
- The Isabelle/Naproche natural language proof assistant
- Translating between language and logic: what is easy and what is difficult
- Hammering towards QED
- Furstenberg topology
This page was built for software: Naproche
