UPDF AI

An Online Repository of Mathematical Samples

J. Baker,A. Sexton,V. Sorge

2009
1 Citations

TLDR

An on-line system and repository where researchers may upload samples of mathematics in various formats and support community tagging of these samples with attributes about their syntactic structure, semantic origin, image quality and source is proposed.