Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Michael Wagner
Semantification OEIS zbMATH
Commits
8912c33b
Commit
8912c33b
authored
Jan 13, 2021
by
Michael Wagner
Browse files
updated readme
parent
daf4571c
Changes
1
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
8912c33b
...
...
@@ -3,18 +3,46 @@ Repo containing the first results of the semantification of OEIS in the form of
The data will be hosted online inside a GraphDB sometime in the future.
## ISFA
<details><summary>
CLICK ME
</summary>
<p>
### 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
<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
</p>
</details>
## database_dump.sql
Sql dump of Michael Wagners code, which tries to intertwine OEIS and zbMATH.
## sql tables
<details><summary>
show sql table documentation
</summary>
<p>
### OEIS_author_list
Table matching OEIS auhtors containend in OEIS author field to the zbMATH author ID.
...
...
@@ -38,5 +66,8 @@ MongoDB results as a json dump of [Enxhell Luzhnicas ISFA](https://github.com/el
-
"zbmath_id": the zbMATH "author ID"
</p>
</details>
For more information feel free to contact me at michael.wm.wagner@fau.de
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment