Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Natural language processing

News and Updates

Publications

Extracting Mathematical Concepts from Text

Author(s)
Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian
We investigate some different systems for extracting mathematical entities from texts in the mathematical field of category theory, as a first step for

Software

Nestor

The Nestor Graphical User Interface (GUI) is a free toolkit that helps maintainers annotate their Maintenance Work Order (MWO) data through a process called