Naproche

MaRDI QIDQ40021swMATHFDO

Official website https://korpora-exp.zim.uni-duisburg-essen.de/naproche/

Source code repository https://github.com/naproche/naproche

Described by source

• Parsing and disambiguation of symbolic mathematics in the Naproche system

Cited in

(20)

• The Isabelle/Naproche natural language proof assistant
• GF
• Beautiful formalizations in Isabelle/Naproche
• SAD
• ForTheL
• Interpreting mathematical texts in Naproche-SAD
• A fully automatic theorem prover with human-style output
• Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
• Part-of-math tagging and applications
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• Type reconstruction for -DRT applied to pronoun resolution
• Tweety
• FraCaS
• Regular_Algebras
• INFTY
• Hammering towards QED
• Translating between language and logic: what is easy and what is difficult
• Naproche-SAD
• Premise selection in the Naproche system
• Furstenberg topology

This page was built for software: Naproche