Bas Spitters (Jul 09 2020 at 11:53): Bas Spitters (Jul 09 2020 at 11:53):What is the preferred way to cite the library? I guess the book, but it does not come with a DOI or bib-file.
https://math-comp.github.io/mcb/
Karl Palmskog (Jul 09 2020 at 12:02):I can't speak for the MathComp team, but it would be good if they put releases on Zenodo (which gives them a DOI)
Bas Spitters (Jul 09 2020 at 12:07):And the arxiv if you want permanent storage. That's what we did for the HoTT book. @Assia Mahboubi @Enrico Tassi
Assia Mahboubi (Jul 09 2020 at 13:55):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.
Paolo Giarrusso (Jul 09 2020 at 14:01):Doesn't Zenodo _also_ gives permanent storage? Just for software or also even for papers?
Karl Palmskog (Jul 12 2020 at 18:03):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: Oct 13 2024 at 01:02 UTC