PROVERB

swMATH29672MaRDI QIDQ41386

No author found.

Described by source

• Presenting machine-found proofs

Related Items (3)

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

This page was built for software: PROVERB