Content-based encoding of mathematical and code libraries

Abstract

This is a proposal for content-based canonical naming of mathematical objects aimed at semantic machine processing, and an initial investigation of how useful it can be, how similar it is to other approaches, what disadvantages and limitations it has, and how it could be extended.

View Slides

Extracted Key Phrases

Cite this paper

@inproceedings{Urban2011ContentbasedEO, title={Content-based encoding of mathematical and code libraries}, author={Josef Urban}, year={2011} }