MBase
From MaRDI portal
Cited in
(31)- On the role of OpenMath in interactive mathematical documents
- scientific article; zbMATH DE number 1614716 (Why is no real title available?)
- scientific article; zbMATH DE number 1980938 (Why is no real title available?)
- scientific article; zbMATH DE number 2154400 (Why is no real title available?)
- 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 MEGA
- OMRS
- MAYA
- VSDITLU
- MathWeb
- PROSPER
- OMEGA
- Omega-ANTS
- Bliksem
- KOMET
- PROTEIN
- CPoint
- PowerPoint
- PROVERB
- TexPoint
- scientific article; zbMATH DE number 1497743 (Why is no real title available?)
- scientific article; zbMATH DE number 2079831 (Why is no real title available?)
- A Search Engine for Mathematical Formulae
- Mathematical Knowledge Management
- scientific article; zbMATH DE number 1765659 (Why is no real title available?)
- scientific article; zbMATH DE number 1951627 (Why is no real title available?)
- scientific article; zbMATH DE number 1951636 (Why is no real title available?)
- scientific article; zbMATH DE number 2086601 (Why is no real title available?)
This page was built for software: MBase
