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
• Premise Selection in the Naproche System
• Part-of-math tagging and applications
• Translating between Language and Logic: What Is Easy and What Is Difficult
• 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
• The Isabelle/Naproche natural language proof assistant
• Hammering towards QED

This page was built for software: Naproche