Citation

Stream: Polynomial Freiman-Ruzsa conjecture

[Shreyas Srinivas]

Hi @Yaël Dillies and @Terence Tao : I am trying to cite the PFR formalisation effort. Stackexchange tells me that I can get the bibtex from github automatically if you add a certain file to the repository : https://academia.stackexchange.com/questions/14010/how-do-you-cite-a-github-repository

[Shreyas Srinivas]

Do you have a standard bibtex entry for citation, or if not, could you add this file?

[Kevin Buzzard]

Why not just cite the website and say the date you accessed it? This is the standard way to cite websites (at least in maths)

[Shreyas Srinivas]

Author list

[Shreyas Srinivas]

The website only mentions maintainers

[Shreyas Srinivas]

So I can't get the full author list without going into github contributors and figuring out who counted or wanted to be counted as an "author" for whatever definition of authorship we have in formalisation projects.

[Shreyas Srinivas]

If the maintainers of the repository put up a standard citation file, then I only need to take the bibtex from github. It would be their responsibility to ensure that their work is cited in their preferred way. I wouldn't be missing any authors.

[Shreyas Srinivas]

Fwiw, I have a stand-in bibtex entry for the website like you describe. It only mentions the maintainers as authors unfortunately.

[Terence Tao]

I'm embarrassed to say that I didn't think of this issue at all when this project was more active. I can try to create some basic CITATION.cff file, perhaps later tonight, but I am not sure how best to collect a list of names of previous participants who might be interested in being listed as some sort of author. I suppose I could just DM each one of the github contributors...

[Terence Tao]

For now I have just uploaded a basic CITATION.cff file, listing Yael and myself and adding a link to the github contributors page for a longer list. Am open to suggestions for better ways to track this...

[Yaël Dillies]

Since the project will likely not get many new contributors, it is probably okay to copy over the list of contributors as the list of authors

[Shreyas Srinivas]

I think the cff file needs to be at the top level

[Shreyas Srinivas]

Not inside a directory, for github to see it and offer a bibtex

[Pietro Monticone]

Shreyas Srinivas said:

I think the cff file needs to be at the top level

Done.

[Terence Tao]

OK, I have added to the author list of CITATION.cff everyone who had contributed at least 2 commits to the repository (this is a somewhat arbitrarily chosen threshold).

Incidentally, there is a dashboard issue currently in the PFR that is preventing the CI from passing; if anyone knows what that is about and how to fix it, it would be great to point that out here (or make a PR).

[Mauricio Collares]

pfr#249

[Ben Eltschig]

#252