PROVERB

swMATH29672MaRDI QIDQ41386FDOQ41386

Author name not available (Why is that?)

Described by source

• Presenting machine-found proofs

Cited In (3)

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

This page was built for software: PROVERB