PROVERB

swMATH29672MaRDI QIDQ41386FDOQ41386

Author name not available (Why is that?)

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