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
- PDF / 42,739,945 Bytes
- 533 Pages / 439.37 x 666.142 pts Page_size
- 106 Downloads / 165 Views