Semantic Representation of Mathematical Knowledge Workshop

Program

White paper

Wiki