OpenMath: Communicating Mathematical Information between Co-operating Agents in a Knowledge Network