Sophize Markdown and Collaboration Interface

EasyChair Preprint 6207

Abstract

Sophize 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

@booklet{EasyChair:6207,
  author    = {Abhishek Chugh},
  title     = {Sophize Markdown and Collaboration Interface},
  howpublished = {EasyChair Preprint 6207},
  year      = {EasyChair, 2021}}