@misc
{TN_libero_mab2,
author = {
Konečný, Michal
AND
Steinberg, Florian
AND
Thies, Holger
Michal Konečný and Florian Steinberg and Holger Thies
},
title = {
Computable Analysis for Verified Exact Real Computation
},
publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
keywords = {
Computable Analysis
,
Coq
,
formal proofs
,
proof assistant
,
exact real computation
},
year = {2020},
abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},
url = {
https://katalog.slub-dresden.de/en/?cHash=a8fa44d3bda0cb9d524c2f0ab6715df9&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=126-ZnRkYWdzdHVobDpvYWk6ZHJvcHMtb2FpLmRhZ3N0dWhsLmRlOjEzMjkx&tx_find_find%5Btype%5D=bibtex
}
}