Coq-HoTT
Coq-HoTT copied to clipboard
HoTT
Citing the library
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.
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.
https://github.com/coq-community/manifesto/issues/75
On Sun, Jul 5, 2020 at 3:26 PM Mike Shulman [email protected] 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 .
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.
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.
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 [email protected] 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 .