Stream: math-comp users

Topic: Citing math-comp


view this post on Zulip 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/

view this post on Zulip 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)

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Paolo Giarrusso (Jul 09 2020 at 14:01):

Doesn't Zenodo _also_ gives permanent storage? Just for software or also even for papers?

view this post on Zulip 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: Feb 08 2023 at 07:02 UTC