Naproche

swMATH28307MaRDI QIDQ40021FDOQ40021

Author name not available (Why is that?)

Described by source

• Parsing and disambiguation of symbolic mathematics in the Naproche system

Cited In (11)

• 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
• Part-of-math tagging and applications
• Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
• Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution
• Premise selection in the Naproche system
• The Isabelle/Naproche natural language proof assistant
• Translating between language and logic: what is easy and what is difficult
• Hammering towards QED

This page was built for software: Naproche