package coq-exact-real-arithmetic
Exact Real Arithmetic
Install
Dune Dependency
Authors
Maintainers
Sources
v8.5.0.tar.gz
md5=1f3ad50d599e0d8ef03af2082b4a4da5
Description
This contribution contains a proof of correctness of some exact real arithmetic algorithms from the PhD thesis of Valérie Ménissier-Morain
Tags
keyword:correctness keyword:real numbers keyword:arithmetic category:Mathematics/Real NumbersPublished: 07 Jun 2016
On This Page