@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.