We are working hard to keep everything up-to-date. However, we know that there are many papers
not yet included in our dataset.
If something is wrong or missing, feel free to write me at
my email address.
The "Dijkstra number"
The Dijkstra number describes the collaborative distance between an author and
Edsger W. Dijkstra.
In our dataset 90.4% of authors are connected to Edsger W. Dijkstra and
the average Dijkstra number among them is 5.07.
These kind of number/metrics are quite famous and already well defined in other fields.
The
"Erdős number"
expresses the collaborative distance with
Paul Erdős,
the famous Hungarian mathematician.
The
"Bacon number"
expresses the co-acting distance with Kevin Bacon.
The "Erdős number"
The Erdős number describes the collaborative distance between an author and
Paul Erdős.
In our dataset 90.4% of authors are connected to Paul Erdős and
the average Erdős number among them is 4.67.
Find more on Wikipedia with an article on the
"Erdős number".
Odile Hermann
According to our database1,
Odile Hermann authored at least 1 paper
in 1995.
Mécanisation de la recherche de preuves et de programmes en arithmétique fonctionnelle du second ordre. (Mechanization of proof search for program synthesis in the second order functional arithmetic).
