outreach_en.bib

@book{affeldt2022karate,
  author = {Reynald Affeldt},
  title = {An Introduction to {MathComp-Analysis}},
  publisher = {},
  year = {2022},
  abstract = {}
}
@book{hagiwara2018book,
  author = {Manabu Hagiwara and Reynald Affeldt},
  title = {Formal Proof using {Coq}/{SSReflect}/{MathComp}: Start Formalization of Mathematics with Free Software},
  publisher = {Morikita Publishing},
  year = {2018},
  abstract = {(in Japanese)}
}
@article{affeldt2017jssst,
  author = {Reynald Affeldt},
  title = {Introduction to {Mathematical} {Components}},
  journal = {Computer Software},
  year = {2017},
  volume = {34},
  pages = {64--74},
  month = {Apr},
  abstract = {(in Japanese)  \href{http://dx.doi.org/10.11309/jssst.34.2_64}{doi} Japan Society for Software Science and Technology}
}
@article{affeldt2016nipponhyoronsha,
  author = {Reynald Affeldt},
  title = {Towards Formal Coding Theory},
  journal = {Chapter 15 of Evolving Theory of Error-correcting Codes, Manabu Hagiwara (editor)},
  year = {2016},
  pages = {171--189},
  month = {Sep},
  abstract = {(in Japanese) Nippon Hyoronsha}
}
@article{affeldt2014ipsj,
  author = {Reynald Affeldt},
  title = {Formal Verification using Proof-assistants: Recent results and introduction to {Coq}},
  journal = {Information Processing},
  year = {2014},
  volume = {55},
  pages = {482--491},
  month = {May},
  abstract = {(in Japanese)  \href{http://www.ipsj.or.jp/english/index.html}{Information Processing Society of Japan}}
}
@article{affeldt2013suusemi,
  author = {Reynald Affeldt},
  title = {Towards Formal Coding Theory},
  journal = {Suugaku Seminaa (Mathematical Seminar)},
  year = {2013},
  volume = {618},
  pages = {74--79},
  month = {Apr},
  abstract = {(in Japanese) Nippon Hyoron sha co., Ltd}
}

This file was generated by bibtex2html 1.99.