What is the preferred way to cite the library? I guess the book, but it does not come with a DOI or bib-file.
I can't speak for the MathComp team, but it would be good if they put releases on Zenodo (which gives them a DOI)
And the arxiv if you want permanent storage. That's what we did for the HoTT book. @Assia Mahboubi @Enrico Tassi
Sorry, this has been indeed been "about to be done" for way too long now. We will do that (zenodo + arxiv/hal) asap and announce it here.
Doesn't Zenodo _also_ gives permanent storage? Just for software or also even for papers?
I sincerely hope that people are not using Zenodo as the canonical host of papers and similar documents. Basically, the interface Zenodo exposes to the world is a "collection of files" (Amazon S3 style), which means one is essentially citing a binary blob/archive. This is fine for software, which was a binary blob/archive to begin with, but not for documents, which I think should be exposed "one-at-a-time", with rich metadata, like on arXiv. For example, as soon as you put several pdfs in a single Zenodo entry, it's not clear what is cited.
Last updated: Feb 08 2023 at 07:02 UTC