swMATH8724MaRDI QIDQ20724FDOQ20724
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S0747717100904681
Cited In (30)
- 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?)
- MAYA
- VSDITLU
- MathWeb
- PROSPER
- A Search Engine for Mathematical Formulae
- OMEGA
- Omega-ANTS
- Bliksem
- KOMET
- PROTEIN
- CPoint
- PowerPoint
- PROVERB
- TexPoint
- 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
