Welcome to the Mathdoc HAL collection
Contact : hal@listes.mathdoc.fr
Created in 1995, Mathdoc, national document coordination unit for mathematics, is a research support unit based in Grenoble. It is supported by both the CNRS National Institute of Mathematical Sciences and their Interactions (INSMI) and Grenoble Alpes University.
Mathdoc provides documentation and publishing services intended for the mathematical community at large: researchers, librarians, academic editors, laboratories such as:
· Numdam, the French mathematics digital library
· CFP, join catalog of mathematics serial publications
· Portail Math, access point to a panel of digital services developed by Mathdoc, Mathrice and the RNBM
· Centre Mersenne, an open access publishing platform for scientific publications
In this collection, you will find texts written by members of the Mathdoc team, that have been published in scientific or vulgarisation journals, presentation materials made at seminars and conferences and technical reports and reference texts.
Recent publications
-
-
-
-
-
-
Alexandre Bouquet, Thierry Bouche. MDML: The Mathdoc Digital Mathematics Library. 12th Conference on Intelligent Computer Mathematics (CICM 2019), C. Kaliszyk, E. Brady, J. Davenport, W.M. Farmer, A. Kohlhase, M. Kohlhase, D. M\"{u}ller, K. P\k{a}k, C. Sacerdoti Coen, Jul 2019, Prague, Czech Republic. ⟨hal-02167218⟩
-
-
-
-