| ||||
| ||||
![]() Title:Sophize. Mathematics Library and Collaboration Platform Authors:Abhishek Chugh Conference:CICM 2021 Tags:collaboration, data source, markdown, metamath, polymath, proof graph, sophize, sophize markdown and structured data 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. Sophize. Mathematics Library and Collaboration Platform ![]() Sophize. Mathematics Library and Collaboration Platform | ||||
Copyright © 2002 – 2025 EasyChair |