README.md 2.24 KB
Newer Older
Michael Wagner's avatar
Michael Wagner committed
1
# Semantification OEIS + zbMATH
Michael Wagner's avatar
Michael Wagner committed
2

Michael Wagner's avatar
Michael Wagner committed
3
Repo containing the first results of the semantification of OEIS in the form of a .sql file.   
Michael Wagner's avatar
Michael Wagner committed
4
5
The data will be hosted online inside a GraphDB sometime in the future.

Michael Wagner's avatar
Michael Wagner committed
6
## ISFA
Michael Wagner's avatar
Michael Wagner committed
7

Michael Wagner's avatar
Michael Wagner committed
8
9
10
11
### ISFA/logs
result logs of [Enxhell Luzhnicas ISFA](https://github.com/eluzhnica/ISFA) on the 2015 and 2020 OEIS dump
### ISFA/MongoDB
MongoDB results as a json dump of [Enxhell Luzhnicas ISFA](https://github.com/eluzhnica/ISFA) on the 2015 and 2020 OEIS dump
Michael Wagner's avatar
Michael Wagner committed
12

Michael Wagner's avatar
Michael Wagner committed
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
<details><summary>Show ISFA execution results</summary>
<p>

### ISFA
2015:  
 - TOTAL 39218
 - Succeded 436073
 - Calls 481519
 - Exceptions 351
 - (Tue Jan 12 11:57:52 CET 2021,Tue Jan 12 12:14:10 CET 2021)

2020:
 - TOTAL 60354
 - Succeded 660125 
 - Calls 721380
 - Exceptions 377
 - (Tue Jan 12 10:29:02 CET 2021,Tue Jan 12 10:55:26 CET 2021)

### MongoDB
2015:  
 - 32339 Documents

2020:  
 - 51290 Documents
Michael Wagner's avatar
Michael Wagner committed
37
</p>
Michael Wagner's avatar
Michael Wagner committed
38
39
</details>

Michael Wagner's avatar
Michael Wagner committed
40

Michael Wagner's avatar
Michael Wagner committed
41
42
## database_dump.sql
Sql dump of Michael Wagners code, which tries to intertwine OEIS and zbMATH.
Michael Wagner's avatar
Michael Wagner committed
43

Michael Wagner's avatar
Michael Wagner committed
44
45
<details><summary>show sql table documentation</summary>
<p>
Michael Wagner's avatar
Michael Wagner committed
46

47
48
49
50
51
### OEIS_author_list
    Table matching OEIS auhtors containend in OEIS author field to the zbMATH author ID.
    Table contains non-author entries from the automatic extraction, aka exceptions from the norm in OEIS
    - "author": what was extracted from the OEIS author field
    - "zbmath_id": what the zbMATH author search returned when given the "author"
Michael Wagner's avatar
Michael Wagner committed
52
53
54
55
56
57
58
59
60
61

### OEIS_references
    Table matching OEIS entry references to their zbMATH zbl_ids.
	- "a_number": the identifier of an [OEIS entry](http://oeis.org/A001055)
	- "reference_text": the reference listed in an OEIS entry
	- "zbl_id": results given by https://zbmath.org/citationmatching
	- "score": results by https://zbmath.org/citationmatching
	- "authors": results by https://zbmath.org/citationmatching
	- "title": results by https://zbmath.org/citationmatching

62
63
64
65
66
67
68
### OEIS_user_list
    Table matching OEIS users to their zbMATH entries.
	- "user_name": the [OEIS usernames](http://oeis.org/w/index.php?title=Special:ListUsers)
	- "oeis_user_href": link to the OEIS user webpage (like this: http://oeis.org/wiki/User:A._Brochier)
	- "zbmath_id": the zbMATH "author ID"


Michael Wagner's avatar
Michael Wagner committed
69
70
71
</p>
</details>

Michael Wagner's avatar
Michael Wagner committed
72
For more information feel free to contact me at michael.wm.wagner@fau.de
Michael Wagner's avatar
Michael Wagner committed
73