Presenting machine-found proofs

DOI10.1007/3-540-61511-3_83zbMath1412.68235OpenAlexW2155990634MaRDI QIDQ4647515

Xiaorong Huang, Armin Fiedler

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:386-kluedo-2086

zbMATH Keywords

natural deductionintermediate representationresolution proofmathematical textbooklinguistic resource

Mathematics Subject Classification ID

Related Items (4)

MBase: Representing knowledge and context for the integration of mathematical software systems ⋮ Presenting inequations in mathematical proofs ⋮ PROVERB ⋮ Ωmega: Towards a mathematical assistant

Uses Software

• Omega-MKRP

Cites Work

• Unnamed Item
• Unnamed Item
• The translation of formal proofs into English
• Untersuchungen über das logische Schliessen. I
• Reconstructing proofs at the assertion level

This page was built for publication: Presenting machine-found proofs