PROVERB

MaRDI QIDQ41386swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F3-540-61511-3_83

Described by source

• Presenting machine-found proofs

Cited in

(4)

• MBase: Representing knowledge and context for the integration of mathematical software systems
• Omega-MKRP
• Presenting inequations in mathematical proofs
• \(\Omega\)\textsc{mega}: towards a mathematical assistant

This page was built for software: PROVERB