Download PDFOpen PDF in browser

Sophize Markdown and Collaboration Interface

EasyChair Preprint no. 6207

9 pagesDate: August 1, 2021

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: collaboration, Markdown, mathematical proof, Metamath, Polymath, proof graph, sophize, sophize markdown, sophize platform, structured data

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:6207,
  author = {Abhishek Chugh},
  title = {Sophize Markdown and Collaboration Interface},
  howpublished = {EasyChair Preprint no. 6207},

  year = {EasyChair, 2021}}
Download PDFOpen PDF in browser