Digital mathematics libraries:

The good, the bad, the ugly

Thierry Bouche

Cellule MathDoc & institut Fourier, Grenoble

MKM2008

7th International Conference on

Mathematical Knowledge Management

Birmingham (UK), 28-30 July 2008

cedramMath literature Math E-literature DML MathDoc NUMDAM CEDRAM DML-F WDML? Math-aware mining? Conclusions

Outline

1 The mathematical literature

2 The electronic mathematical literature

3 The Digital Mathematical Library

4 MathDoc (UMS 5636 CNRS-UJF)

5 NUMDAM : retrodigitisation

6 CEDRAM : electronic edition

7 The pieces of the French DML

8 WDML?

9 Math mining

10 Conclusions

Th. Bouche (Grenoble) Digital Mathematics Libraries. . . MKM 2008, Birmingham, July, 28 2008 2 / 42Math literature Math E-literature DML MathDoc NUMDAM CEDRAM DML-F WDML? Math-aware mining? Conclusions

The mathematical literature

Speciﬁcities

Mathematical litterature never becomes obsolete

It’s valid only as a whole, building a wide network of references

It’s useful to other sciences in an asynchronous fashion

It must be carefully archived, indexed and preserved

It must be accessible over the long term

Th. Bouche (Grenoble) Digital Mathematics Libraries. . . MKM 2008, Birmingham, July, 28 2008 3 / 42Math literature Math E-literature DML MathDoc NUMDAM CEDRAM DML-F WDML? Math-aware mining? Conclusions

The mathematical literature

Speciﬁcities

Mathematical litterature never becomes obsolete

It’s valid only as a whole, building a wide network of references

It’s useful to other sciences in an asynchronous fashion

It must be carefully archived, indexed and preserved

It must be accessible over the long term

Th. Bouche (Grenoble) Digital Mathematics Libraries. . . MKM 2008, Birmingham, July, 28 2008 3 / 42Math literature Math E-literature DML MathDoc NUMDAM CEDRAM DML-F WDML? Math-aware mining? Conclusions

The mathematical literature

Speciﬁcities

Mathematical litterature never becomes obsolete

It’s valid only as a whole, building a wide network of references

It’s useful to other sciences in an asynchronous fashion

It must be carefully archived, indexed and preserved

It must be accessible over the long term

Th. Bouche (Grenoble) Digital Mathematics Libraries. . . MKM 2008, Birmingham, July, 28 2008 3 / 42Math literature Math E-literature DML MathDoc NUMDAM CEDRAM DML-F WDML? Math-aware mining? Conclusions

The mathematical literature

Speciﬁcities

Mathematical litterature never becomes obsolete

It’s valid only as a whole, building a wide network of references

It’s useful to other sciences in an asynchronous fashion

It must be carefully archived, indexed and preserved

It must be accessible over the long term

Th. Bouche (Grenoble) Digital Mathematics Libraries. . . MKM 2008, Birmingham, July, 28 2008 3 / 42Math literature Math E-literature DML MathDoc NUMDAM CEDRAM DML-F WDML? Math-aware mining? Conclusions

The mathematical literature

Speciﬁcities

Mathematical litterature never becomes obsolete

It’s valid only as a whole, building a wide network of references

It’s useful to other sciences in an asynchronous fashion

It must be carefully archived, indexed and preserved

It must be accessible over the long term

Th. Bouche (Grenoble) Digital Mathematics Libraries. . . MKM 2008, Birmingham, July, 28 2008 3 / 42Math literature Math E-literature DML MathDoc NUMDAM CEDRAM DML-F WDML? Math-aware mining? Conclusions

The mathematical literature

Speciﬁcities

Mathematical litterature never becomes obsolete

It’s valid only as a whole, building a wide network of references

It’s useful to other sciences in an asynchronous fashion

It must be carefully archived, indexed and preserved

It must be accessible over the long term

Th. Bouche (Grenoble) Digital Mathematics Libraries. . . MKM 2008, Birmingham, July, 28 2008 3 / 42Math literature Math E-literature DML MathDoc NUMDAM CEDRAM DML-F WDML? Math-aware mining? Conclusions

The mathematical literature

Milestones

1665 Birth of scientiﬁc journals (Journal des sçavans, Philosophical

transactions)

1800 About 200 journals where math articles are published

1810 First math-only journal (Annales de mathématiques pures et

appliquées, aka Annales de Gergonne)

1850 About 1000 mathematical research articles published each

year

1950 About 6000 research articles published each

year

Th. Bouche (Grenoble) Digital Mathematics Libraries. . . MKM 2008, Birmingham, July, 28 2008 4 / 42Math literature Math E-literature DML MathDoc NUMDAM CEDRAM DML-F WDML? Math-aware mining? Conclusions

The mathematical literature

Milestones

1665 Birth of scientiﬁc journals (Journal des sçavans, Philosophical

transactions)

1800 About 200 journals where math articles are published

1810 First math-only journal (Annales de mathématiques pures et

appliquées, aka Annales de Gergonne)

1850 About 1000 mathematical research articles published each

year

1950 About 6000 research articles published each

year

Th. Bouche (Grenoble) Digital Mathematics Libraries. . . MKM 2008, Birmingham, July, 28 2008 4 / 42