Stream: math-comp users

Topic: citing mathcomp


view this post on Zulip ComFreek (Oct 22 2021 at 14:22):

Is there any recommended citation for citing mathcomp?

view this post on Zulip ComFreek (Oct 22 2021 at 14:22):

Concretely, I'd like to cite it for its formalization of algebra theories (groups, rings, fields, etc.)

view this post on Zulip ComFreek (Oct 22 2021 at 14:23):

Never mind, https://github.com/math-comp/math-comp/blob/master/mathcomp/algebra/ssralg.v mentions on which publication the formalization is based on :)

view this post on Zulip Karl Palmskog (Oct 22 2021 at 14:32):

also: https://math-comp.github.io/papers.html

view this post on Zulip Enrico Tassi (Oct 22 2021 at 16:41):

that paper is about the formalization technique, mostly. which is the context of the citation?


Last updated: Feb 08 2023 at 08:02 UTC