package coq-exact-real-arithmetic
Exact Real Arithmetic
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=a2890444513cc5c1455dce9d4342b282
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 Dec 2019
On This Page