Download PDFOpen PDF in browserSophize Markdown and Collaboration InterfaceEasyChair Preprint 62079 pages•Date: August 1, 2021AbstractSophize is a novel mathematics library and discussion platform with a mission to help our users find and organize mathematical proofs. We have extended the Markdown language to represent the connections between mathematical objects that exist across various sources of knowledge. Using the new language, we demonstrated an interactive interface that helps users explore mathematics content on the web. We also utilized this new language to create a novel communication system built specifically to aid mathematicians in solving problems collaboratively. This contribution sketches the basic ideas and provides links to some demos of the new functionality. Keyphrases: Markdown, Metamath, Polymath, collaboration, mathematical proof, proof graph, sophize, sophize markdown, sophize platform, structured data
|