Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences

The On-line Encyclopedia of Integer Sequences (OEIS ) is an important resource for mathematicians. The database is well-structured and rich in mathematical content but is informal in nature, so knowledge management services are not directly applicable. In