search

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory
http://homotopytypetheory.org/
Other
1.25k stars 193 forks source link

Citing the library #1355

Open mikeshulman opened 4 years ago

mikeshulman commented 4 years ago

Should we supply a recommended way to cite the library? Of course there is the paper but people may also want to cite the library directly.

spitters commented 4 years ago

The coq-community uses zenodo for citations to github, if we want to follow that lead. For bibliometrics/analysis it's probably clearer if people cite the paper.

mikeshulman commented 4 years ago

What would it mean to "use zenodo"?

spitters commented 4 years ago

https://github.com/coq-community/manifesto/issues/75

On Sun, Jul 5, 2020 at 3:26 PM Mike Shulman notifications@github.com wrote:

What would it mean to "use zenodo"?

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/HoTT/HoTT/issues/1355#issuecomment-653888920, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABTNTQ5CAEDH3NSPM5DI73R2B5PJANCNFSM4OQ32TMQ .

mikeshulman commented 4 years ago

Thanks. That seems to be solving a different problem than I was wondering about. I suppose it's useful to have a DOI, but I was more wondering about what "authors" to list and how to format the bibtex entry.

spitters commented 4 years ago

Authors could be "HoTT library team", following "Coq Team"...

jdchristensen commented 4 years ago

I asked Mike about this, and I was motivated by the fact that various mathematical software packages give advice about how to cite them, for example, GAP. I think it's good to cite the Bauer et al paper in an introduction, but it is not suitable when citing specific parts of the library, especially those that were written after the paper was written, often by different authors.

spitters commented 4 years ago

I'm not sure there is a perfect solution. For e.g. agda people still cite Ulf's PhD thesis. Citations to GAP, and even the HoTT book don't get picked up by the indexers, so it is hard to do a backwards search. For specific parts of the library we can of course recommend citing the corresponding paper.

On Sun, Jul 5, 2020 at 6:48 PM Dan Christensen notifications@github.com wrote:

I asked Mike about this, and I was motivated by the fact that various mathematical software packages give advice about how to cite them, for example, GAP https://www.gap-system.org/Contacts/cite.html. I think it's good to cite the Bauer et al paper in an introduction, but it is not suitable when citing specific parts of the library, especially those that were written after the paper was written, often by different authors.

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/HoTT/HoTT/issues/1355#issuecomment-653911233, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABTNTR4VAGYICTHF7Y6UI3R2CVHBANCNFSM4OQ32TMQ .