Omega-MKRP

MaRDI QIDQ41387swMATHFDO

Official website https://link.springer.com/content/pdf/10.1007/3-540-58156-1_61.pdf

Cited in

(6)

• PROVERB
• Presenting machine-found proofs
• Knowledge-based proof planning
• Presenting inequations in mathematical proofs
• Reconstructing proofs at the assertion level
• \(\Omega\)\textsc{mega}: towards a mathematical assistant

This page was built for software: Omega-MKRP