Stream: math-comp analysis

Topic: Citing


view this post on Zulip Pierre-Yves Strub (Jul 05 2022 at 13:22):

Hi. How can I cite this work?

view this post on Zulip Reynald Affeldt (Jul 05 2022 at 14:22):

You have these two papers:
Formalization Techniques for Asymptotic Reasoning in Classical Analysis doi:10.6092/issn.1972-5787/8124
Competing inheritance paths in dependent type theory---a case study in functional analysis doi:10.1007/978-3-030-51054-1_1

view this post on Zulip Pierre-Yves Strub (Jul 05 2022 at 14:23):

Found them but seems quit narrow w.r.t. what you can find in the lib

view this post on Zulip Reynald Affeldt (Jul 05 2022 at 14:26):

I once used this simple bib entry

@Misc{analysis,
  author =   {{MathComp-Analysis}},
  title =    {Mathematical Components compliant Analysis Library},
  howpublished = {\url{https://github.com/math-comp/analysis}},
  year =     {2022},
  note =     {Since 2017. Version 0.5.1}
}

but I have been told that {MathComp-Analysis} is not an author. :-/

view this post on Zulip Reynald Affeldt (Jul 05 2022 at 14:27):

maybe

@Misc{analysis,
author = {XYZ},
title = {{MathComp-Analysis}: Mathematical Components compliant Analysis Library},
howpublished = {\url{https://github.com/math-comp/analysis}},
year = {2022},
note = {Since 2017. Version 0.5.1}
}

where XYZ is the list of authors in README.md is more appropriate


Last updated: Aug 11 2022 at 01:03 UTC