Technology Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration

1.Overview Service IntegrationKnowledge RepresentationConclusion & Future Enabling Collaboration on Semiformal Mathematical Knowledgeby Semantic Web Integration Christoph…