@book{affeldt2022karate,
author = {Reynald Affeldt},
title = {An Introduction to {MathComp-Analysis}},
publisher = {},
year = {2022},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/karate-rocq.pdf}{pdf preprint}}
}
@book{hagiwara2018book,
author = {萩原 学 and Reynald Affeldt},
title = {{Coq}/{SSReflect}/{MathComp}による定理証明:フリーソフトではじめる数学の形式化},
publisher = {森北出版},
year = {2018},
abstract = {(日本語) \href{http://www.morikita.co.jp/books/book/3287}{publisher website and errata}}
}
@article{affeldt2017jssst,
author = {Reynald Affeldt},
title = {Mathematical Components入門},
journal = {コンピュータソフトウェア},
year = {2017},
volume = {34},
pages = {64--74},
month = {Apr},
abstract = {(日本語) \href{https://www.jstage.jst.go.jp/article/jssst/34/2/34_2_64/_pdf}{オープンアクセス} \href{http://dx.doi.org/10.11309/jssst.34.2_64}{doi} 日本ソフトウェア科学会 \href{https://www.jstage.jst.go.jp/browse/jssst}{journal website}}
}
@article{affeldt2016nipponhyoronsha,
author = {Reynald Affeldt},
title = {形式的な符号理論に向けて},
journal = {進化する符号理論, 第15章, 萩原 学 (編著)},
year = {2016},
pages = {171--189},
month = {Sep},
abstract = {(日本語) 日本評論社 \href{https://www.nippyo.co.jp/shop/book/7206.html}{book website}}
}
@article{affeldt2014ipsj,
author = {Reynald Affeldt},
title = {定理証明支援系に基づく形式検証---近年の実例の紹介と{Coq}入門---},
journal = {情報処理},
year = {2014},
volume = {55},
pages = {482--491},
month = {May},
abstract = {(日本語) \href{https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_uri&item_id=100796&file_id=1&file_no=1}{オープンアクセス} \href{http://www.ipsj.or.jp/}{情報処理学会} \href{http://www.ipsj.or.jp/magazine/magazine.html}{magazine website}}
}
@article{affeldt2013suusemi,
author = {Reynald Affeldt},
title = {形式的な符号理論に向けて},
journal = {数学セミナー},
year = {2013},
volume = {618},
pages = {74--79},
month = {Apr},
abstract = {(日本語) 日本評論社 \href{https://www.nippyo.co.jp/shop/magazine/6150.html}{journal website}}
}
This file was generated by bibtex2html 1.99.