MBase
From MaRDI portal
Software:20724
swMATH8724MaRDI QIDQ20724FDOQ20724
Author name not available (Why is that?)
Cited In (17)
- On the role of OpenMath in interactive mathematical documents
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- KI 2004: Advances in Artificial Intelligence
- Mechanizing Mathematical Reasoning
- Distributed assertion retrieval
- MBase: Representing knowledge and context for the integration of mathematical software systems
- Computer supported mathematics with \(\Omega\)MEGA
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Search Engine for Mathematical Formulae
- Mathematical Knowledge Management
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: MBase
