Hi. How can I cite this work?
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
Found them but seems quit narrow w.r.t. what you can find in the lib
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. :-/
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: Feb 09 2023 at 01:03 UTC