Omega-MKRP

swMATH29673MaRDI QIDQ41387FDOQ41387

Author name not available (Why is that?)

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

Cited In (5)

• 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